The 10,000 Facets of MDP Model Checking
Cham / Springer (2019) [Contribution to a book]
Computing and software science : state of the art and perspectives / Bernhard Steffen, Gerhard Woeginger (Eds.)
Page(s): 420-451
Authors
Authors
Baier, Christel
Hermanns, Holger
Katoen, Joost-Pieter
Identifier
- DOI: 10.1007/978-3-319-91908-9_21
- REPORT NUMBER: RWTH-2019-09235