2015 年度研究成果報告書

Automatic Verification of Distributed Mobile Robot Algorithms

研究課題

研究課題/領域番号	26870228
研究種目	若手研究(B)
配分区分	基金
研究分野	情報学基礎理論ソフトウェア
研究機関	北陸先端科学技術大学院大学
研究代表者	BONNET Francois 北陸先端科学技術大学院大学, 情報科学研究科, 助教 (60700185)
研究期間 (年度)	2014-04-01 – 2016-03-31
キーワード	Algorithm / Distributed Computing / Robot / Verification
研究成果の概要	二年目も、ツールの開発を行い、このツールによってロボットのgathering問題のアルゴリズムの正しさの確認ができました。Workshop on Distributed Robotics Swarms (WDRS'15)で発表し、さらにAdHoc-Now'16の国際会議に採択され、発表する予定です。
自由記述の分野	Distributed Computing