Doan、Ha Thi Thu;弗朗索瓦·博内;Kazuhiro绪方 机器人采集的模型检查。 （英语） Zbl 1487.68041号 Aspnes，James（编辑）等人，第21届分布式系统原理国际会议，OPODIS 2017，葡萄牙里斯本，2017年12月18-20日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际会议记录。通知。95，第12条，第16页（2018）。MSC公司：64岁以下 60年第68季度 68T40型 PDF格式BibTeX公司 XML格式引用 \textit{H.T.T.Doan}等人，LIPIcs——莱布尼茨国际程序。通知。95，第12条，第16页（2018；Zbl 1487.68041） 全文： 内政部
罗伯托·巴多尼;弗朗索瓦·博内特;阿莱西亚·米拉尼;雷纳尔，米歇尔 移动机器人无碰撞的匿名图形探索。 （英语） Zbl 1191.68709号 信息处理。莱特。 109，第2期，98-103（2009）.MSC公司：68T40型 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{R.Baldoni}等人，《信息处理》。莱特。109，第2号，98--103（2009；Zbl 1191.68709） 全文： 内政部 链接