A Formal Safety Net for Waypoint-Following in Ground Robots
A Formal Safety Net for Waypoint-Following in Ground Robots
复制标题
地面机器人航路点跟踪的正式安全网
DOI：
10.1109/lra.2019.2923099
复制
发表时间：
2019
影响因子：
5.2
通讯作者：
Platzer, Andre
中科院分区：
文献类型：
--
作者：
Bohrer, Brandon;Tan, Yong Kiam;Mitsch, Stefan;Sogokon, Andrew;Platzer, Andre
登录
查看更多内容
DOI：
10.1007/978-3-319-19249-9_32
发表时间：
2015-06
期刊：
--
影响因子：
--
作者：
A. Sogokon;Paul B. Jackson
通讯作者：
A. Sogokon;Paul B. Jackson
DOI：
--
发表时间：
2018
期刊：
arXiv.org
影响因子：
--
作者：
Stefan Mitsch;André Platzer
通讯作者：
André Platzer
混合系统可达性分析的基准套件
DOI：
--
发表时间：
2015
期刊：
NASA Formal Methods
影响因子：
--
作者：
Xin Chen;Stefan Schupp;Ibtissem Ben Makhlouf;E. Ábrahám;Goran Frehse;S. Kowalewski
通讯作者：
S. Kowalewski
具有混合动力学和时间目标的运动规划
DOI：
--
发表时间：
2010
期刊：
IEEE Conference on Decision and Control
影响因子：
--
作者：
A. Bhatia;L. Kavraki;Moshe Y. Vardi
通讯作者：
Moshe Y. Vardi
高保证 SPIRAL：机器人和汽车控制的端到端保证
DOI：
10.1109/mcs.2016.2643244
发表时间：
2017
期刊：
IEEE Control Systems
影响因子：
--
作者：
F. Franchetti;Tze Meng Low;Stefan Mitsch;J. Mendoza;Liangyan Gui;Amarin Phaosawasdi;D. Padua;S. Kar;José M. F. Moura;M. Franusich;Jeremy Johnson;André Platzer;M. Veloso
通讯作者：
M. Veloso