Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots

Thibaut Balabonski (1) , Pierre Courtieu (2) , Robin Pelle (1) , Lionel Rieg (3) , Sébastien Tixeuil (4, 5) , Xavier Urbain (6)

1 VALS - LRI - Vérification d'Algorithmes, Langages et Systèmes (LRI)
2 CEDRIC - SYS - CEDRIC. Systèmes sûrs
3 VERIMAG - IMAG - VERIMAG
4 NPA - Networks and Performance Analysis
5 IUF - Institut universitaire de France
6 DRIM - Distribution, Recherche d'Information et Mobilité

Mots clés: Formal Proof; Proof Assistant; Coq; Mobile Autonomous Robots; Distributed Algorithms; Automated Deduction; Program Verification

Domaines: Logique en informatique [cs.LO]; Calcul parallèle, distribué et partagé [cs.DC]

Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, et al.. Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots. 7th International Conference on NETworked sYStems (NETYS 2019), Jun 2019, Marrakech, Morocco. pp.93-09, ⟨10.1007/978-3-030-31277-0_7⟩. ⟨hal-02115599⟩