PASS
From MaRDI portal
Software:16607
swMATH4431MaRDI QIDQ16607FDOQ16607
Author name not available (Why is that?)
Cited In (11)
- A compositional modelling and verification framework for stochastic hybrid systems
- Of cores: a partial-exploration framework for Markov decision processes
- Model checking finite-horizon Markov chains with probabilistic inference
- On Abstraction of Probabilistic Systems
- Local abstraction refinement for probabilistic timed programs
- Model checking probabilistic systems
- A game-based abstraction-refinement framework for Markov decision processes
- Formal system verification. State-of the-art and future trends
- Out of control: reducing probabilistic models by control-state elimination
- Of cores: a partial-exploration framework for Markov decision processes
- Probabilistic model checking of biological systems with uncertain kinetic rates
This page was built for software: PASS
