The following pages link to Probabilistic CEGAR (Q3512491):
Displayed 17 items.
- Safety verification for probabilistic hybrid systems (Q389835) (← links)
- Minimal counterexamples for linear-time probabilistic verification (Q402125) (← links)
- Constraint Markov chains (Q554215) (← links)
- A game-based abstraction-refinement framework for Markov decision processes (Q600979) (← links)
- CEGAR for compositional analysis of qualitative properties in Markov decision processes (Q746785) (← 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)
- Abstract model repair for probabilistic systems (Q1706149) (← links)
- Probabilistic verification of Herman's self-stabilisation algorithm (Q1941879) (← links)
- Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
- Local abstraction refinement for probabilistic timed programs (Q2453108) (← links)
- On Abstraction of Probabilistic Systems (Q2937733) (← links)
- Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops (Q3297595) (← links)
- Compositional Abstraction for Stochastic Systems (Q3648832) (← links)
- Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints (Q5039515) (← links)
- Model Checking Linear-Time Properties of Probabilistic Systems (Q5072555) (← links)
- Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey (Q5175773) (← links)