@article{CTT100886233,
  author = {Xavier Défago and Adam Heriban and Sébastien Tixeuil and Koichi Wada},
  title = {Using model checking to formally verify rendezvous algorithms for robots with lights in Euclidean space},
  journal = {Robotics and Autonomous Systems},
  year = 2023,
}

@article{CTT100931675,
  author = {Takashi Okumura and Koichi Wada and Xavier Défago},
  title = {Optimal L-algorithms for rendezvous of asynchronous mobile robots with external-lights *,**,***},
  journal = {Theoretical Computer Science},
  year = 2023,
}

@article{CTT100705170,
  author = {Taisuke Izumi and Samia Souissi and Yoshiaki Katayama and Nobuhiro Inuzuka and Xavier Defago and Koichi Wada and Masafumi Yamashita},
  title = {The Gathering Problem for Two Oblivious Robots with Unreliable Compasses},
  journal = {SIAM J. Comput.},
  year = 2012,
}

@inproceedings{CTT100834800,
  author = {Xavier Défago and Adam Heriban and Sébastien Tixeuil and Koichi Wada},
  title = {Using Model Checking to Formally Verify Rendezvous Algorithms for Robots with Lights in Euclidean Space},
  booktitle = {Proc. 39th IEEE Symp. on Reliable Distributed Systems (SRDS)},
  year = 2020,
}

@inproceedings{CTT100807035,
  author = {Xavier Défago and Adam Heriban and Sébastien Tixeuil and Koichi Wada},
  title = {Brief Announcement: Model Checking Rendezvous Algorithms for Robots with Lights in Euclidean Space},
  booktitle = {33rd International Symposium on Distributed Computing (DISC 2019)},
  year = 2019,
}

@inproceedings{CTT100781166,
  author = {Takashi Okumura and Koichi Wada and Xavier Défago},
  title = {Optimal Rendezvous L-Algorithms for Asynchronous Mobile Robots with External-Lights},
  booktitle = {},
  year = 2018,
}