IEEE 17th International Conference on Automation Science and Engineering. August 2021 . Presentation: “A ROS Package for Human-In-the-Loop Planning and Control under Linear Temporal Logic Tasks”, by one of the authors R. Baran, X. Tan, P. Varnai, P. Yu, S. Ahlberg, M. Guo, W. S. Cortez and Dimos V. Dimarogonas.(https://ieeexplore.ieee.org/abstract/document/9551648)