# A ROS Package for Human-In-the-Loop Planning and Control under Linear Temporal Logic Tasks

> Research article (2021 IEEE 17th International Conference on Automation Science and Engineering (CASE), 2021) · cited 10× · AI/ML

**Wikidata**: [openalex:W3201690334](https://www.wikidata.org/wiki/openalex:W3201690334)  
**Source**: https://4ort.xyz/entity/a-ros-package-for-human-in-the-loop-planning-and-control-under-linear-temporal-logic-tasks