www.prismmodelchecker.org
[VCC21] Gricel Vazquez, Radu Calinescu and Javier Camara. Scheduling Multi-robot Missions with Joint Tasks and Heterogeneous Robot Teams. In Proc. Annual Conference Towards Autonomous Robotic Systems (TAROS'21), pages 354-359. 2021. [Presents an approach to multi-robot scheduling, with a tool chain that includes PRISM for robot plan generation.]
Links: [Google] [Google Scholar]

Publications