Robin Baran, Xiao Tan, Péter Várnai, Pian Yu, Sofie Ahlberg, Meng Guo, Wenceslao Shaw-Cortez, Dimos V. Dimarogonas. A ROS Package for Human-In-the-Loop Planning and Control under Linear Temporal Logic Tasks. In 17th IEEE International Conference on Automation Science and Engineering, CASE 2021, Lyon, France, August 23-27, 2021. pages 2182-2187, IEEE, 2021. [doi]
Abstract is missing.