[SGO13]
Simon Struck, Matthias Gudemann and Frank Ortmeier.
Efficient Optimization of Large Probabilistic Models.
Journal of Systems and Software.
2013.
[Presents a framework for modelling, analysis and optimization of safety critical systems, which connects to PRISM.]
|
