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