| Title | SMT-Based Control and Feedback for Social Navigation |
| Publication Type | Conference Proceedings |
| Year of Publication | 2019 |
| Authors | Campos, T, Pacheck, A, Hoffman, G, Kress-Gazit, H |
| Conference Name | 2019 International Conference on Robotics and Automation (ICRA) |
| Pagination | 5005-5011 |
| 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 | 2019 |