"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.
"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.
"Adam Heriban,Xavier D?fago,S?bastien Tixeuil","Optimally Gathering Two Robots","19th Intl Conf. Distributed Computing and Networking (ICDCN)",,,,,,2018,Jan.