"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.
"Satoshi Tanaka,Francois Bonnet,S?bastien Tixeuil,Yasumasa Tamura","Quixo is Solved","Advances in Computer Games: 17th International Conference (ACG2021)",,,,,"pp. 85--95",2021,Nov.
"田中 智,Bonnet Fran?ois,Tixeuil S?bastien,田村 康将","Quixoの強解決","ゲームプログラミングワークショップ 2020 (GPW2020)",,,,,,2020,Nov.
"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.
"Xavier D?fago,Maria Potop-Butucaru,S?bastien Tixeuil","Fault-Tolerant Mobile Robots",,"Distributed Computing by Mobile Entities","Springer","Vol. LNCS 11340",,"pp. 234-251",2019,Jan.
"Adam Heriban,Xavier D?fago,S?bastien Tixeuil","Optimally Gathering Two Robots","19th Intl Conf. Distributed Computing and Networking (ICDCN)",,,,,,2018,Jan.
"Alexandre Maurer,S?bastien Tixeuil,Xavier Defago","Communicating Reliably in Multihop Dynamic Networks Despite Byzantine Failures","IEEE Symp. on Reliable Distributed Systems (SRDS)","Proc. 34th IEEE Symp. on Reliable Distributed Systems, (SRDS)",,,,"pp. 238-245",2015,Sept.