# Correctness Guarantees for the Composition of Lane Keeping and Adaptive Cruise Control

> Research article (IEEE Transactions on Automation Science and Engineering, 2017) · cited 197× · AI/ML

**Wikidata**: [openalex:W2525042068](https://www.wikidata.org/wiki/openalex:W2525042068)  
**Source**: https://4ort.xyz/entity/correctness-guarantees-for-the-composition-of-lane-keeping-and-adaptive-cruise-control