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

Selected Authors

Baier, Christel
Hermanns, Holger
Katoen, Joost-Pieter

Identifier