Decisive Markov Chains

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)

Mathematics Subject Classification ID

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