www.prismmodelchecker.org
[RCP+21] Joshua Riley, Radu Calinescu, Colin Paterson Daniel Kudenko, Alec Banks. Utilising Assured Multi-Agent Reinforcement Learning within Safety-Critical Scenarios. In Proc. 25th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES'21). 2021. [Presents an approach called assured multi-agent reinforcement learning with abstractions built as PRISM models. ]
Links: [Google] [Google Scholar]

Publications