www.prismmodelchecker.org
[ABDF26] Alessandro Abate, Thom Badings, Giuseppe De Giacomo and Francesco Fabiano. Best-Effort Policies for Robust Markov Decision Processes. In Proc. 40th AAAI Conference on Artificial Intelligence (AAAI'26). 2026. [Proposes techniques for synthesising "best-effort" policies in robust Markov decision processes, with experiments performed using PRISM.]
Links: [Google] [Google Scholar]

Publications