TY  - RPRT
TI  - Using Model Checking to Formally Verify Rendezvous Algorithms for Robots with Lights in Euclidean Space
AU  - Xavier Défago
AU  - Adam Heriban
AU  - Sébastien Tixeuil
AU  - Koichi Wada
PY  - 2019
UR  - https://arxiv.org/abs/1907.09871
ID  - 1907.09871
ER  -