New results on probabilistic verification : automata, logic and satisfiability

Aachen (2019) [Dissertation / PhD Thesis]

Page(s): 1 Online-Ressource (172 Seiten) : Illustrationen

Authors

Selected Authors

Chakraborty, Souymodip

Identifier

  • REPORT NUMBER: RWTH-2019-05211