潘,邓;杨俊兴;拉杜·格罗苏;斯科特·斯莫尔卡。;斯科特·斯托勒。 移动机器人的避碰功能,具有有限的感知能力和有限的移动障碍物信息。 (英语) Zbl 1370.68287号 形式方法系统。设计。 51,第1号,62-86(2017).MSC公司:68T40型 PDF格式BibTeX公司 XML格式引用 \textit{D.Phan}等人,《形式方法系统》。设计。51,第1号,第62-86号(2017;Zbl 1370.68287) 全文: 内政部
埃齐奥·巴托西(编辑);鲁帕克·马朱姆达尔(编辑) 介绍运行时验证的特殊问题。 (英语) Zbl 1372.00088号 形式方法系统。设计。 51,第1号,1-4号(2017).MSC公司:00B25型 68-06 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Bartocci}(编辑)和\textit{R.Majumdar}(主编),《形式方法系统》。设计。51,编号1,1--4(2017;Zbl 1372.00088) 全文: 内政部