www.prismmodelchecker.org
[DCCC22] Brendan Devlin-Hill, Radu Calinescu, Javier Cámara and Ipek Caliskanelli. Towards Scalable Multi-robot Systems by Partitioning the Task Domain. In Proc. Towards Autonomous Robotic Systems (TAROS'22). 2022. [Proposes parititioning-based methods for planning in multi-robot nuclear maintenance settings using probabilistic model checking and PRISM.]
Links: [Google] [Google Scholar]

Publications