New results on probabilistic verification : automata, logic and satisfiability

Aachen (2019) [Doktorarbeit]

Seite(n): 1 Online-Ressource (172 Seiten) : Illustrationen

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Chakraborty, Souymodip

Identifikationsnummern

  • REPORT NUMBER: RWTH-2019-05211