SMT-Based Control and Feedback for Social Navigation.

Thais Campos, Adam Pacheck, Guy Hoffman, Hadas Kress-Gazit

Browse the full ICRA paper archive.