PRISM-PSY

swMATH33601MaRDI QIDQ45310FDOQ45310

Author name not available (Why is that?)

Cited In (4)

• 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
• Abstract model repair for probabilistic systems

This page was built for software: PRISM-PSY