发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

A Hybrid control approach to autonomous navigation in cooperative multi-robot systems using Kripke models and model checking

A Hybrid control approach to autonomous navigation in cooperative multi-robot systems using Kripke models and model checking

Jeyaraman, Suresh; Tsourdos, Antonios; Żbikowski, Rafaal; White, Brian

期刊名称IFAC Proceedings Volumes
作者Jeyaraman, Suresh; Tsourdos, Antonios; Żbikowski, Rafaal; White, Brian
卷第37卷
期第8期
印刷ISSN1474-6670
文件大小247.98KB
发表时间2004-07
DOI10.1016/s1474-6670(17)32003-7
页码364-369

← 返回【学霸图书馆】主页