# Correct-by-Construction Adaptive Cruise Control: Two Approaches

> Research article (IEEE Transactions on Control Systems Technology, 2015) · cited 159× · AI/ML

**Wikidata**: [openalex:W2344321026](https://www.wikidata.org/wiki/openalex:W2344321026)  
**Source**: https://4ort.xyz/entity/correct-by-construction-adaptive-cruise-control-two-approaches