Cited in
(6)- PROPhESY
- Parameter synthesis for probabilistic timed automata using stochastic game abstractions
- Bayesian statistical parameter synthesis for linear temporal properties of stochastic models
- FACT
- Abstract model repair for probabilistic systems
- Parameter Synthesis Algorithms for Parametric Interval Markov Chains
This page was built for software: PRISM-PSY