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