www.prismmodelchecker.org
[BPS24] Christel Baier, Jakob Piribauer and Maximilian Starke. Risk-Averse Optimization of Total Rewards in Markovian Models Using Deviation Measures. In Proc. 35th International Conference on Concurrency Theory (CONCUR'24). 2024. [Presents methods for risk-averse optimisation of MDPs, evaluated using PRISM.]
Links: [Google] [Google Scholar]

Publications