www.prismmodelchecker.org
[SBB+23] Michal Staniaszek, Lara Brudermüller, Raunak Bhattacharyya, Bruno Lacerda and Nick Hawes. Difficulty-Aware Time-Bounded Planning Under Uncertainty for Large-Scale Robot Missions. In Proc. 2023 European Conference on Mobile Robots (ECMR'23). 2023. [Tackles robot planning problems with uncertain task durations, using PRISM as an underlying solver.]
Links: [Google] [Google Scholar]

Publications