PRISM-PSY
From MaRDI portal
swMATH33601MaRDI QIDQ45310FDOQ45310
Author name not available (Why is that?)
Official website: https://link.springer.com/chapter/10.1007%2F978-3-662-49674-9_21
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
- Abstract model repair for probabilistic systems
- FACT
This page was built for software: PRISM-PSY
