www.prismmodelchecker.org
[RCP+22b] Joshua Riley, Radu Calinescu, Colin Paterson Daniel Kudenko, Alec Banks. Assured Multi-agent Reinforcement Learning with Robust Agent-Interaction Adaptability. In Proc. 26th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES'22). 2022. [Presents an extension to the assured multi-agent reinforcement learning approach with abstractions built as PRISM models. ]
Links: [Google] [Google Scholar]

Publications