The following pages link to Probabilistic CEGAR (Q3512491):
Displayed 8 items.
- Safety verification for probabilistic hybrid systems (Q389835) (← links)
- Constraint Markov chains (Q554215) (← links)
- A game-based abstraction-refinement framework for Markov decision processes (Q600979) (← links)
- A linear process-algebraic format with data for probabilistic automata (Q764285) (← links)
- Probabilistic model checking of biological systems with uncertain kinetic rates (Q764350) (← links)
- Probabilistic verification of Herman's self-stabilisation algorithm (Q1941879) (← links)
- Local abstraction refinement for probabilistic timed programs (Q2453108) (← links)
- Compositional Abstraction for Stochastic Systems (Q3648832) (← links)