Automatic Verification of Distributed Mobile Robot Algorithms

• 研究課題/領域番号: 26870228
• 研究種目: 若手研究(B)
• 配分区分: 基金
• 研究分野: 情報学基礎理論; ソフトウェア
• 研究機関: 北陸先端科学技術大学院大学
• 研究代表者: BONNET Francois 北陸先端科学技術大学院大学, 情報科学研究科, 助教 (60700185)
• 研究期間 (年度): 2014-04-01 – 2016-03-31
• 研究課題ステータス: 完了 (2015年度)
• 配分額: 1,820千円 (直接経費: 1,400千円、間接経費: 420千円); 2015年度: 780千円 (直接経費: 600千円、間接経費: 180千円); 2014年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
• キーワード: Algorithm / Distributed Computing / Robot / Verification / Computing

研究成果の概要

二年目も、ツールの開発を行い、このツールによってロボットのgathering問題のアルゴリズムの正しさの確認ができました。Workshop on Distributed Robotics Swarms (WDRS'15)で発表し、さらにAdHoc-Now'16の国際会議に採択され、発表する予定です。

研究成果

• [雑誌論文] Asynchronous Gathering in Rings with 4 Robots (2016)
  • 著者名/発表者名: Francois Bonnet, Maria Potop-Butucaru, Sebastien Tixeuil
  • 雑誌名: Proceedings of the 14th International Conference on Ad-hoc, Mobile, and Wireless Networks 巻: AdHoc-Now'16 ページ: 1-14
  • 査読あり / 国際共著 / 謝辞記載あり
• [雑誌論文] Nash Equilibrium in Mastermind (2016)
  • 著者名/発表者名: Francois Bonnet, Simon Viennot
  • 雑誌名: Proceedings of the 8th International Conference on Computers and Games 巻: CG'16 ページ: 1-12
  • 査読あり / 国際共著 / 謝辞記載あり
• [雑誌論文] Tight bound on mobile Byzantine Agreement (2016)
  • 著者名/発表者名: F. Bonnet, X. Defago, T. D. Nguyen, M. Potop-Butucaru
  • 雑誌名: Theoretical Computer Science 巻: 609 ページ: 361-373
  • DOI: 10.1016/j.tcs.2015.10.019
  • NAID: 110010061343
  • 査読あり / 国際共著 / 謝辞記載あり
• [雑誌論文] Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols (2014)
  • 著者名/発表者名: Francois Bonnet, Xavier Defago, Franck Petit, Maria Potop-Butucaru, Sebastien Tixeuil
  • 雑誌名: Proceedings of the 33rd IEEE International Symposium on Reliable Distributed Systems Workshops 巻: SRDSW'14 ページ: 50-59
  • DOI: 10.1109/srdsw.2014.34
  • 査読あり / 謝辞記載あり
• [雑誌論文] Tight Bound on Mobile Byzantine Agreement (2014)
  • 著者名/発表者名: F. Bonnet, X. Defago, T. D. Nguyen, M. Potop-Butucaru
  • 雑誌名: Lecture Notes in Computer Science 巻: 8784 ページ: 76-90
  • DOI: 10.1007/978-3-662-45174-8_6
  • NAID: 110010061343
  • ISBN: 9783662451731, 9783662451748
  • 査読あり / 謝辞記載あり
• [雑誌論文] Mitigating the Spread of a Virus in the Internet (2014)
  • 著者名/発表者名: T. D. Nguyen, F. Bonnet, X. Defago
  • 雑誌名: 2014 IEEE 33rd International Symposium on Reliable Distributed Systems Workshops (SRDSW) 巻: none ページ: 14-19
  • DOI: 10.1109/srdsw.2014.26
  • NAID: 120006675658
  • 査読あり / 謝辞記載あり
• [学会発表] Asynchronous Gathering in Rings with 4 Robots (2015)
  • 著者名/発表者名: Francois Bonnet, Maria Potop-Butucaru, and Sebastien Tixeuil
  • 学会等名: Workshop on Distributed Robotic Swarms (WDRS'15, co-located with DISC'15)
  • 発表場所: Arcadia Ichigaya hotel, Chiyoda-ku, Tokyo
  • 年月日: 2015-10-05
  • 国際学会