Model Checking Interactive Markov Chains
From MaRDI portal
Publication:3557065
DOI10.1007/978-3-642-12002-2_5zbMath1284.68420OpenAlexW1520708882MaRDI QIDQ3557065
Martin R. Neuhäußer, Li-jun Zhang
Publication date: 27 April 2010
Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-12002-2_5
Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items (8)
A Semantics for Every GSPN ⋮ A Tutorial on Interactive Markov Chains ⋮ Confluence reduction for Markov automata ⋮ The How and Why of Interactive Markov Chains ⋮ The linear time-branching time spectrum of equivalences for stochastic systems with non-determinism ⋮ Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games ⋮ Model checking for performability ⋮ Efficient approximation of optimal control for continuous-time Markov games
This page was built for publication: Model Checking Interactive Markov Chains