"Xavier D?fago,Adam Heriban,S?bastien Tixeuil,Koichi Wada","Using model checking to formally verify rendezvous algorithms for robots with lights in Euclidean space",,"Robotics and Autonomous Systems","Elsevier","Vol. 163",,,2023,Feb.
"Takashi Okumura,Koichi Wada,Xavier D?fago","Optimal L-algorithms for rendezvous of asynchronous mobile robots with external-lights *,**,***",,"Theoretical Computer Science",,,,,2023,
"Xavier D?fago,Adam Heriban,S?bastien Tixeuil,Koichi Wada","Using Model Checking to Formally Verify Rendezvous Algorithms for Robots with Lights in Euclidean Space","IEEE Symp. on Reliable Distributed Systems (SRDS)","Proc. 39th IEEE Symp. on Reliable Distributed Systems (SRDS)",,,,"pp. 113-122",2020,Sept.
"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)","33rd International Symposium on Distributed Computing (DISC 2019)","Leibniz International Proceedings in Informatics","Vol. 146",,"pp. 1-3",2019,Oct.
"Takashi Okumura,Koichi Wada,Xavier D?fago","Optimal Rendezvous L-Algorithms for Asynchronous Mobile Robots with External-Lights","22nd International Conference on Principles of Distributed Systems (OPODIS)",,"LIPIcs",,,,2018,Dec.
"Taisuke Izumi,Samia Souissi,Yoshiaki Katayama,Nobuhiro Inuzuka,Xavier Defago,Koichi Wada,Masafumi Yamashita","The Gathering Problem for Two Oblivious Robots with Unreliable Compasses",,"SIAM J. Comput.",,"Vol. 41","No. 1","pp. 26-46",2012,Jan.