www.prismmodelchecker.org
[SLMH20] Charlie Street, Bruno Lacerda, Manuel Mühlig and Nick Hawes. Multi-Robot Planning Under Uncertainty with Congestion-Aware Models. In Proc. 19th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'20). 2020. [Presents multi-robot planning techniques for congestion scenarios, building on PRISM as an underlying solver.]
Links: [Google] [Google Scholar]

Publications