www.prismmodelchecker.org
[VCC22] Gricel Vázquez, Radu Calinescu and Javier Cámara. Scheduling of Missions with Constrained Tasks for Heterogeneous Robot Systems. In Proc. FMAS/ASYDE@SEFM. 2022. [Presents an approach to multi-robot task allocation and scheduling with a connection to PRISM for model evaluation.]
Links: [Google] [Google Scholar]

Publications