www.prismmodelchecker.org
[SLMH24] Charlie Street, Bruno Lacerda, Manuel Mühlig and Nick Hawes. Right Place, Right Time: Proactive Multi-Robot Task Allocation Under Spatiotemporal Uncertainty. Journal of Artificial Intelligence Research , 79. 2024. [Presents a multi-robot task allocation framework based on CTMCs and using PRISM for model analysis.]
Links: [Google] [Google Scholar]

Publications