Correctness guarantees for the composition of lane keeping and adaptive cruise control. Xu, X., Grizzle, J. W, Tabuada, P., & Ames, A. D IEEE Transactions on Automation Science and Engineering, 15(3):1216–1229, IEEE, 2018. Best New Application Paper Award![Correctness guarantees for the composition of lane keeping and adaptive cruise control [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Paper bibtex 2 downloads @article{xu2018correctness,
title={Correctness guarantees for the composition of lane keeping and adaptive cruise control},
author={Xu, Xiangru and Grizzle, Jessy W and Tabuada, Paulo and Ames, Aaron D},
journal={IEEE Transactions on Automation Science and Engineering},
volume={15},
number={3},
pages={1216--1229},
year={2018},
publisher={IEEE},
url = {http://ames.caltech.edu/xu2017correctness.pdf},
note = {Best New Application Paper Award}
}
%%%%%%%%%%%%%%% year={2017} %%%%%%%%%%%