F. Nawaz, S. Peng, L. Lindemann, N. Figueroa and N. Matni, "Reactive Temporal Logic-based Planning and Control for Interactive Robotic Tasks," 2024 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)