www.prismmodelchecker.org
[TLHW19] Milan Tomy, Bruno Lacerda, Nick Hawes and Jeremy L Wyatt. Battery Charge Scheduling in Long-Life Autonomous Mobile Robots. ECMR 2019: 1-6. In Proc. 2019 European Conference on Mobile Robots (ECMR'19). 2019. [Proposes techniques for battery charge scheduling in autonomous mobile robots, using multi-objective model checking in PRISM.]
Links: [Google] [Google Scholar]

Publications