www.prismmodelchecker.org
[HBJ+17] Nick Hawes et al.. The STRANDS Project: Long-Term Autonomy in Everyday Environments. EEE Robotics and Automation Magazine. 2017. [Describes the STRANDS Project, tackling long-term autonomy, including probabilistic planning techniques based on PRISM.]
Links: [Google] [Google Scholar]

Publications