www.prismmodelchecker.org
[GRL+23] Anna Gautier, Marc Rigter, Bruno Lacerda, Nick Hawes and Michael J. Wooldridge. Risk-Constrained Planning for Multi-Agent Systems with Shared Resources. In Proc. 22nd International Conference on Autonomous Agents and Multiagent Systems (AAMAS'23). 2023. [Presents methods for multi-agent planning with shared resources, with an evaluation based on PRISM.]
Links: [Google] [Google Scholar]

Publications