# A Formal Control Framework of Autonomous Vehicle for Signal Temporal Logic Tasks and Obstacle Avoidance

> Research article (IEEE Transactions on Intelligent Vehicles, 2023) · cited 19× · AI/ML

**Wikidata**: [openalex:W4379382417](https://www.wikidata.org/wiki/openalex:W4379382417)  
**Source**: https://4ort.xyz/entity/a-formal-control-framework-of-autonomous-vehicle-for-signal-temporal-logic-tasks-and-obstacle-avoidance