Brief Announcement: Model Checking Rendezvous Algorithms for Robots with Lights in Euclidean Space

• Defago, Xavier

• Défago, Xavier

• Heriban, Adam

• Tixeuil, Sébastien

• 和田, 幸一

• Wada, Koichi

抄録

identifier:oai:t2r2.star.titech.ac.jp:50492981

収録刊行物

• 33rd International Symposium on Distributed Computing (DISC 2019)

  33rd International Symposium on Distributed Computing (DISC 2019) 146 1-3, 2019-10

  Leibniz International Proceedings in Informatics

詳細情報

• CRID: 1050011097149718656
• NII論文ID: 120006766465
• Web Site: http://t2r2.star.titech.ac.jp/cgi-bin/publicationinfo.cgi?q_publication_content_number=CTT100807035
• 本文言語コード: en
• 資料種別: conference paper
• データソース種別:
  • IRDB
  • CiNii Articles