PRISM-PSY
From MaRDI portal
Software:45310
No author found.
Related Items (4)
Parameter Synthesis Algorithms for Parametric Interval Markov Chains ⋮ Parameter synthesis for probabilistic timed automata using stochastic game abstractions ⋮ Abstract model repair for probabilistic systems ⋮ Bayesian statistical parameter synthesis for linear temporal properties of stochastic models
This page was built for software: PRISM-PSY
