The 10,000 facets of MDP model checking

DOI10.1007/978-3-319-91908-9_21zbMath1482.68133OpenAlexW2978709001MaRDI QIDQ2075778

Holger Hermanns, Christel Baier, Joost-Pieter Katoen

Publication date: 16 February 2022

Full work available at URL: https://doi.org/10.1007/978-3-319-91908-9_21

Mathematics Subject Classification ID

Markov and semi-Markov decision processes (90C40) Specification and verification (program logics, model checking, etc.) (68Q60) History of computer science (68-03) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (5)

Simple Strategies in Multi-Objective MDPs ⋮ Tweaking the odds in probabilistic timed automata ⋮ Parameter synthesis in Markov models: a gentle survey ⋮ Multi-objective optimization of long-run average and total rewards ⋮ A Theory of Distributed Markov Chains

This page was built for publication: The 10,000 facets of MDP model checking