Partial Order Reduction for Markov Decision Processes: A Survey

DOI10.1007/11804192_19zbMath1196.68137OpenAlexW1502561786MaRDI QIDQ3591387

Marcus Größer, 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)

Related Items (3)

Model Checking Linear-Time Properties of Probabilistic Systems ⋮ Three-valued abstraction for probabilistic systems ⋮ A Theory of Distributed Markov Chains

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