Partial Order Reduction for Markov Decision Processes: A Survey

DOI10.1007/11804192_19MaRDI QIDQ3591387zbMATH OpenOpenAlexFDO

Authors Marcus Grösser, Christel Baier

Publication date 11 September 2007

Published in Formal Methods for Components and Objects (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11804192_19

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Recommendations

• Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers
• On Reduction Criteria for Probabilistic Reward Models
• scientific article; zbMATH DE number 1507206
• scientific article; zbMATH DE number 2090703
• Model checking linear-time properties of probabilistic systems

Cited in

(9)

• The 10,000 facets of MDP model checking
• Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers
• Three-valued abstraction for probabilistic systems
• Reduction techniques for discrete-time Markov chains on totally ordered state space using stochastic comparisons
• scientific article; zbMATH DE number 2090703 (Why is no real title available?)
• A theory of distributed Markov chains
• Model checking linear-time properties of probabilistic systems
• On Reduction Criteria for Probabilistic Reward Models
• Causally deterministic Markov decision processes

This page was built for publication: Partial Order Reduction for Markov Decision Processes: A Survey

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3591387)