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)
Markov chains (discrete-time Markov processes on discrete state spaces) (60J10) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (11)
When are stochastic transition systems tameable? ⋮ Probabilistic total store ordering ⋮ Unnamed Item ⋮ Controlling a random population ⋮ Model checking probabilistic systems against pushdown specifications ⋮ Unnamed Item ⋮ Simple stochastic games with almost-sure energy-parity objectives are in NP and conp ⋮ Maximizing the Conditional Expected Reward for Reaching the Goal ⋮ Nearly Optimal Verifiable Data Streaming ⋮ Carrying Probabilities to the Infinite World ⋮ Decisiveness of stochastic systems and its application to hybrid models
This page was built for publication: Decisive Markov Chains