The 10, 000 Facets of MDP Model Checking
Aus International Center for Computational Logic
The 10, 000 Facets of MDP Model Checking
Christel BaierChristel Baier, Holger HermannsHolger Hermanns, Joost-Pieter KatoenJoost-Pieter Katoen
Christel Baier, Holger Hermanns, Joost-Pieter Katoen
The 10, 000 Facets of MDP Model Checking
In Bernhard Steffen and Gerhard J. Woeginger, eds., Computing and Software Science - State of the Art and Perspectives, volume 10000 of Lecture Notes in Computer Science, 420--451. Springer, 2019
The 10, 000 Facets of MDP Model Checking
In Bernhard Steffen and Gerhard J. Woeginger, eds., Computing and Software Science - State of the Art and Perspectives, volume 10000 of Lecture Notes in Computer Science, 420--451. Springer, 2019
- KurzfassungAbstract
This paper presents a retrospective view on probabilistic model checking. We focus on Markov decision processes (MDPs, for short). We survey the basic ingredients of MDP model checking and discuss its enormous developments since the seminal works by Courcoubetis and Yannakakis in the early 1990s. We discuss in particular the manifold facets of this field of research by surveying the verification of various MDP extensions, rich classes of properties, and their applications. - Forschungsgruppe:Research Group: Algebraische und logische Grundlagen der InformatikAlgebraic and Logical Foundations of Computer Science
@incollection{BHK2019,
author = {Christel Baier and Holger Hermanns and Joost-Pieter Katoen},
title = {The 10, 000 Facets of {MDP} Model Checking},
editor = {Bernhard Steffen and Gerhard J. Woeginger},
booktitle = {Computing and Software Science - State of the Art and
Perspectives},
series = {Lecture Notes in Computer Science},
volume = {10000},
publisher = {Springer},
year = {2019},
pages = {420--451},
doi = {10.1007/978-3-319-91908-9_21}
}