www.prismmodelchecker.org
[NBS+25] Mahdi Nazeri, Thom Badings, Anne-Kathrin Schmuck, Sadegh Soudjani and Alessandro Abate. Data-Driven Abstraction and Synthesis for Stochastic Systems with Unknown Dynamics. In Proc. 64th Conference on Decision and Control (CDC'25). 2025. [Presents methods for controlling stochastic dynamical systems with unknown dynamics, using PRISM for IMDP analysis.]
Links: [Google] [Google Scholar]

Publications