The following pages link to PASS (Q16607):
Displaying 11 items.
- A game-based abstraction-refinement framework for Markov decision processes (Q600979) (← links)
- Probabilistic model checking of biological systems with uncertain kinetic rates (Q764350) (← links)
- Model checking finite-horizon Markov chains with probabilistic inference (Q832295) (← links)
- Out of control: reducing probabilistic models by control-state elimination (Q2152665) (← links)
- A compositional modelling and verification framework for stochastic hybrid systems (Q2403530) (← links)
- Local abstraction refinement for probabilistic timed programs (Q2453108) (← links)
- On Abstraction of Probabilistic Systems (Q2937733) (← links)
- Model Checking Probabilistic Systems (Q3176386) (← links)
- Formal System Verification (Q4610434) (← links)
- (Q5129946) (← links)
- (Q5875366) (← links)
