論文

• 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.  公式リンク  
  
• Takashi Okumura, Koichi Wada, Xavier Défago. Optimal L-algorithms for rendezvous of asynchronous mobile robots with external-lights *,**,***, Theoretical Computer Science, 2023.  公式リンク  
  
• 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, Jan. 2012.  公式リンク  
  

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

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

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