On Reduction Criteria for Probabilistic Reward Models

DOI10.1007/11944836_29MaRDI QIDQ5385995zbMATH OpenOpenAlexFDO

Authors

Publication date 17 April 2008

Published in FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11944836_29

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Recommendations

• Partial Order Reduction for Markov Decision Processes: A Survey
• scientific article; zbMATH DE number 1059330
• scientific article; zbMATH DE number 1507206
• Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers
• Formal Modeling and Analysis of Timed Systems

Cited in

(4)

• Partial Order Reduction for Markov Decision Processes: A Survey
• Weighted versus Probabilistic Logics
• Model checking linear-time properties of probabilistic systems
• Performability assessment by model checking of Markov reward models

This page was built for publication: On Reduction Criteria for Probabilistic Reward Models

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