The following pages link to Decisive Markov Chains (Q5453500):
Displayed 11 items.
- Model checking probabilistic systems against pushdown specifications (Q436316) (← links)
- When are stochastic transition systems tameable? (Q1648646) (← links)
- Decisiveness of stochastic systems and its application to hybrid models (Q2105467) (← links)
- Controlling a random population (Q2200817) (← links)
- Simple stochastic games with almost-sure energy-parity objectives are in NP and conp (Q2233425) (← links)
- Nearly Optimal Verifiable Data Streaming (Q2798786) (← links)
- Carrying Probabilities to the Infinite World (Q3090817) (← links)
- Maximizing the Conditional Expected Reward for Reaching the Goal (Q3303934) (← links)
- (Q5021008) (← links)
- (Q5875369) (← links)
- Probabilistic total store ordering (Q6166793) (← links)