TY - RPRT TI - Reactive Temporal Logic-based Planning and Control for Interactive Robotic Tasks AU - Farhad Nawaz AU - Shaoting Peng AU - Lars Lindemann AU - Nadia Figueroa AU - Nikolai Matni PY - 2024 UR - https://arxiv.org/abs/2404.19594 ID - 2404.19594 ER -