Xiangru Xu, Jessy W. Grizzle, Paulo Tabuada, Aaron D. Ames. Correctness Guarantees for the Composition of Lane Keeping and Adaptive Cruise Control. IEEE T. Automation Science and Engineering, 15(3):1216-1229, 2018. [doi]
@article{XuGTA18,
title = {Correctness Guarantees for the Composition of Lane Keeping and Adaptive Cruise Control},
author = {Xiangru Xu and Jessy W. Grizzle and Paulo Tabuada and Aaron D. Ames},
year = {2018},
doi = {10.1109/TASE.2017.2760863},
url = {https://doi.org/10.1109/TASE.2017.2760863},
researchr = {https://researchr.org/publication/XuGTA18},
cites = {0},
citedby = {0},
journal = {IEEE T. Automation Science and Engineering},
volume = {15},
number = {3},
pages = {1216-1229},
}