Reactive Temporal Logic-based Planning and Control for Interactive Robotic Tasks.

Farhad Nawaz, Shaoting Peng, Lars Lindemann, Nadia Figueroa, Nikolai Matni

Browse the full IROS paper archive.