www.prismmodelchecker.org
[TLHW] Milan Tomy, Bruno Lacerda, Nick Hawes and Jeremy L Wyatt. Battery Charge Scheduling in Long-Life Autonomous Mobile Robots. Robotics and Autonomous Systems, 133. 2020. [Proposes techniques for battery charge scheduling in autonomous mobile robots, using multi-objective model checking in PRISM.]
Links: [Google] [Google Scholar]

Publications