Brief Announcement: Model Checking Rendezvous Algorithms for Robots with Lights in Euclidean Space - Sorbonne Université Access content directly
Conference Papers Year : 2019

Brief Announcement: Model Checking Rendezvous Algorithms for Robots with Lights in Euclidean Space

Abstract

This announces the first successful attempt at using model-checking techniques to verify the correctness of self-stabilizing distributed algorithms for robots evolving in a continuous environment. The study focuses on the problem of rendezvous of two robots with lights and presents a generic verification model for the SPIN model checker. It will be presented in full at an upcoming venue.
Fichier principal
Vignette du fichier
LIPIcs-DISC-2019-41.pdf (298.24 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-02394992 , version 1 (05-12-2019)

Identifiers

Cite

Xavier Défago, Adam Heriban, Sébastien Tixeuil, Koichi Wada. Brief Announcement: Model Checking Rendezvous Algorithms for Robots with Lights in Euclidean Space. 33rd International Symposium on Distributed Computing (DISC 2019), Oct 2019, Budapest, Hungary. pp.41:1--41:3, ⟨10.4230/LIPIcs.DISC.2019.41⟩. ⟨hal-02394992⟩
59 View
31 Download

Altmetric

Share

Gmail Facebook X LinkedIn More