Compositional Reasoning for Markov Decision Processes

DOI10.1007/978-3-642-29320-7_10zbMath1353.68200OpenAlexW1249064867MaRDI QIDQ2894560

Yu-xin Deng, Matthew C. B. Hennessy

Publication date: 29 June 2012

Published in: Fundamentals of Software Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-29320-7_10

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)

This page was built for publication: Compositional Reasoning for Markov Decision Processes