論文

• 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, Feb. 2023.  公式リンク  
  

著書

• 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, Jan. 2019.  公式リンク  

国際会議発表 (査読有り)

• Satoshi Tanaka, Francois Bonnet, Sébastien Tixeuil, Yasumasa Tamura. Quixo is Solved, Advances in Computer Games: 17th International Conference (ACG2021), pp. 85--95, Nov. 2021.
• 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, Sept. 2020.
• 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, Oct. 2019.  公式リンク  
  
• Adam Heriban, Xavier Défago, Sébastien Tixeuil. Optimally Gathering Two Robots, 19th Intl Conf. Distributed Computing and Networking (ICDCN), Jan. 2018.
• 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, Sept. 2015.  公式リンク  
  

国内会議発表 (査読有り)

• 田中 智, Bonnet François, Tixeuil Sébastien, 田村 康将. Quixoの強解決, ゲームプログラミングワークショップ 2020 (GPW2020), Nov. 2020.

[ BibTeX 形式で保存 ]    [ 論文・著書をCSV形式で保存 ]    [ 特許をCSV形式で保存 ]