PRISM-PSY

MaRDI QIDQ45310swMATHFDO

Official website https://link.springer.com/chapter/10.1007%2F978-3-662-49674-9_21

Cited in

(6)

• Abstract model repair for probabilistic systems
• Bayesian statistical parameter synthesis for linear temporal properties of stochastic models
• Parameter synthesis for probabilistic timed automata using stochastic game abstractions
• PROPhESY
• Parameter Synthesis Algorithms for Parametric Interval Markov Chains
• FACT

This page was built for software: PRISM-PSY