[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.]
|
Site hosted at the Department of Computer Science, University of Oxford