The 10,000 Facets of MDP Model Checking

Christel Baier, Holger Hermanns, Joost-Pieter Katoen*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

18 Citations (Scopus)
19 Downloads (Pure)

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.
Original languageEnglish
Title of host publicationComputing and Software Science
Subtitle of host publicationState of the Art and Perspectives
EditorsBernhard Steffen, Gerhard Woeginger
Place of PublicationCham
PublisherSpringer
Pages420-451
Number of pages32
ISBN (Electronic)978-3-319-91908-9
ISBN (Print)978-3-319-91907-2
DOIs
Publication statusPublished - 2019

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume10000
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Keywords

  • 2024 OA procedure

Fingerprint

Dive into the research topics of 'The 10,000 Facets of MDP Model Checking'. Together they form a unique fingerprint.

Cite this