@inbook{Baier2019,
    Abstract = {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.},
    Address = {Cham},
    Author = {Baier, Christel and Hermanns, Holger and Katoen, Joost-Pieter},
    BookTitle = {Computing and Software Science: State of the Art and Perspectives},
    Editor = {Steffen, Bernhard and Woeginger, Gerhard},
    File = {The 10,000 Facets of MDP Model Checking - Baier2019\_Chapter\_The10000FacetsOfMDPModelChecki (0) - a - a - s.pdf},
    ISBN = {978-3-319-91908-9},
    Pages = {420--451},
    Publisher = {Springer International Publishing},
    Title = {The 10,000 Facets of MDP Model Checking},
    URL = {https://doi.org/10.1007/978-3-319-91908-9\_21},
    Year = {2019},
    bdsk-url-1 = {https://doi.org/10.1007/978-3-319-91908-9\_21},
    date-added = {2019-10-11 09:56:55 +0200},
    date-modified = {2019-10-11 09:56:55 +0200},
    doi = {10.1007/978-3-319-91908-9_21}
}

@inbook{Baier2019, Abstract = {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.}, Address = {Cham}, Author = {Baier, Christel and Hermanns, Holger and Katoen, Joost-Pieter}, BookTitle = {Computing and Software Science: State of the Art and Perspectives}, Editor = {Steffen, Bernhard and Woeginger, Gerhard}, File = {The 10,000 Facets of MDP Model Checking - Baier2019_Chapter_The10000FacetsOfMDPModelChecki (0) - a - a - s.pdf}, ISBN = {978-3-319-91908-9}, Pages = {420--451}, Publisher = {Springer International Publishing}, Title = {The 10,000 Facets of MDP Model Checking}, URL = {https://doi.org/10.1007/978-3-319-91908-9_21}, Year = {2019}, bdsk-url-1 = {https://doi.org/10.1007/978-3-319-91908-9_21}, date-added = {2019-10-11 09:56:55 +0200}, date-modified = {2019-10-11 09:56:55 +0200}, doi = {10.1007/978-3-319-91908-9_21} }