@book{CTT100862844,
  author = {Xavier Défago and Maria Potop-Butucaru and Sébastien Tixeuil},
  title = {Fault-Tolerant Mobile Robots},
  publisher = {Springer},
  year = 2019,
}

@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,
}

@inproceedings{CTT100887980,
  author = {Satoshi Tanaka and Francois Bonnet and Sébastien Tixeuil and Yasumasa Tamura},
  title = {Quixo is Solved},
  booktitle = {},
  year = 2021,
}

@inproceedings{CTT100845106,
  author = {田中 智 and Bonnet François and Tixeuil Sébastien and 田村 康将},
  title = {Quixoの強解決},
  booktitle = {},
  year = 2020,
}

@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{CTT100766881,
  author = {Adam Heriban and Xavier Défago and Sébastien Tixeuil},
  title = {Optimally Gathering Two Robots},
  booktitle = {},
  year = 2018,
}

@inproceedings{CTT100705178,
  author = {Alexandre Maurer and Sébastien Tixeuil and Xavier Defago},
  title = {Communicating Reliably in Multihop Dynamic Networks Despite Byzantine Failures},
  booktitle = {Proc. 34th IEEE Symp. on Reliable Distributed Systems, (SRDS)},
  year = 2015,
}