Decisive Markov Chains
From MaRDI portal
Publication:5453500
DOI10.2168/LMCS-3(4:7)2007zbMath1131.68060MaRDI QIDQ5453500
Noomene Ben Henda, Richard Mayr, Parosh Aziz Abdulla
Publication date: 1 April 2008
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
60J10: Markov chains (discrete-time Markov processes on discrete state spaces)
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Unnamed Item, Unnamed Item, Probabilistic total store ordering, Model checking probabilistic systems against pushdown specifications, When are stochastic transition systems tameable?, Decisiveness of stochastic systems and its application to hybrid models, Controlling a random population, Simple stochastic games with almost-sure energy-parity objectives are in NP and conp, Nearly Optimal Verifiable Data Streaming, Carrying Probabilities to the Infinite World, Maximizing the Conditional Expected Reward for Reaching the Goal