www.prismmodelchecker.org
[BRAJ24] Thom Badings, Licio Romao, Alessandro Abate and Nils Jansen. A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions. In Proc. European Control Conference (ECC'24). 2024. [Uses data-driven abstractions for control of stochastic dynamical systems, using PRISM to solve IMDPs]
Links: [Google] [Google Scholar]

Publications