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]Paper  bibtex   2 downloads  

Downloads: 2