Compositional Verification and Optimization of Interactive Markov Chains

DOI10.1007/978-3-642-40184-8_26zbMath1390.68472arXiv1305.7332OpenAlexW3105159463MaRDI QIDQ2842120

Holger Hermanns, Jan Krčál, Jan Křetínský

Publication date: 12 August 2013

Published in: CONCUR 2013 – Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1305.7332

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)

Related Items

Compositional Design of Stochastic Timed Automata ⋮ Distributed Synthesis in Continuous Time