A ROS Package for Human-In-the-Loop Planning and Control under Linear Temporal Logic Tasks. - Robin Baran; Xiao Tan 002; Péter Várnai; Pian Yu; Sofie Ahlberg; Meng Guo 002; Wenceslao Shaw-Cortez; Dimos V. Dimarogonas (CASE, 2021)