www.prismmodelchecker.org
[SAP26b] Yannik Schnitzer, Alessandro Abate and David Parker. Robust Parameter Learning for Uncertain MDPs. In Proc. 23rd International Conference on Quantitative Evaluation of SysTems (QEST'26), Springer. To appear. September 2026. [Presents techniques for learning uncertain MDPs with parameter dependencies, implemented as an extension of PRISM.]
Notes: The original publication is available at link.springer.com.
Links: [Google] [Google Scholar]

Publications