www.prismmodelchecker.org
[SBY+25] Michal Staniaszek, Lara Brudermüller, Yang You, Raunak Bhattacharyya, Bruno Lacerda and Nick Hawes. Time-bounded planning with uncertain task duration distributions. Robotics and Autonomous Systems. 2025. [Tackles robot planning problems with uncertain task durations, using PRISM as an underlying solver.]
Links: [Google] [Google Scholar]

Publications