The 10,000 facets of MDP model checking
From MaRDI portal
Publication:2075778
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
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