[Invited Paper] Formal Methods for Mobile Robots: Current Results and Open Problems - Archive ouverte HAL Access content directly
Journal Articles International Journal of Informatics Society Year : 2015

[Invited Paper] Formal Methods for Mobile Robots: Current Results and Open Problems

(1) , (2, 3) , (1) , (4) , (5) , (1) , (6, 4, 7) , (8, 9)
1
2
3
4
5
6
7
8
9

Abstract

Mobile robot networks emerged in the past few years as a promising distributed computing model. 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. We also present related open questions to further develop this path of research.
Not file

Dates and versions

hal-01238784 , version 1 (07-12-2015)

Identifiers

  • HAL Id : hal-01238784 , version 1

Cite

Béatrice Bérard, Pierre Courtieu, Laure Millet, Maria Potop-Butucaru, Lionel Rieg, et al.. [Invited Paper] Formal Methods for Mobile Robots: Current Results and Open Problems. International Journal of Informatics Society, 2015, 7 (3), pp.101-114. ⟨hal-01238784⟩
451 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More