Title | SMT-Based Control and Feedback for Social Navigation |
Publication Type | Conference Paper |
Year of Publication | 2019 |
Authors | Campos, T, Pacheck, A, Hoffman, G, Kress-Gazit, H |
Conference Name | International Conference on Robotics and Automation (ICRA) |
Date Published | 05/2019 |
Publisher | IEEE |
Keywords | collision avoidance, Legged locomotion, Mathematical model, Navigation, Robot kinematics, Safety |
URL | https://ieeexplore.ieee.org/document/8794208 |
DOI | 10.1109/ICRA.2019.8794208 |
Citation Key | CamposPacheckICRA2019 |