Certified Universal Gathering in $$\mathbb {R} ^2$$ for Oblivious Mobile Robots

Pierre Courtieu,Lionel Rieg,Sébastien Tixeuil,Xavier Urbain

DISC（2016）

引用 36|浏览24

暂无评分

摘要

We present a unified formal framework for expressing mobile robots models, protocols, and proofs, and devise a protocol design/proof methodology dedicated to mobile robots that takes advantage of this formal framework.

查看译文

关键词

Mobile Robot,Execution Model,Proof Assistant,Advertise Model,Multiplicity Detection

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要