Formal Methods for Mobile Robots - Archive ouverte HAL Access content directly
Book Sections Year : 2019

Formal Methods for Mobile Robots

Maria Potop-Butucaru
  • Function : Author
  • PersonId : 841868
Nathalie Sznajder
Sébastien Tixeuil


Most existing work in the literature typically ensures the correctness of mobile robot protocols via ad hoc handwritten proofs, which are both cumbersome and error-prone. This paper surveys state-of-the-art results about applying formal methods approaches (namely, model-checking, program synthesis, and proof assistants) to the context of mobile robot networks. Those methods already proved useful for bug-hunting in published literature, designing correct-by-design optimal protocols, and certifying impossibility results and protocols.
Not file

Dates and versions

hal-01981634 , version 1 (15-01-2019)



Maria Potop-Butucaru, Nathalie Sznajder, Sébastien Tixeuil, Xavier Urbain. Formal Methods for Mobile Robots. Paola Flocchini; Giuseppe Prencipe; Nicola Santoro. Distributed Computing by Mobile Entities, Current Research in Moving and Computing, 11340, Springer International Publishing, pp.278-313, 2019, Theoretical Computer Science and General Issues, 978-3-030-11071-0. ⟨10.1007/978-3-030-11072-7_12⟩. ⟨hal-01981634⟩
140 View
0 Download



Gmail Facebook Twitter LinkedIn More