1 Correctness Guarantees for the Composition of Lane Keeping and Adaptive Cruise Control Xiangru Xu, Member, IEEE, Jessy W. Grizzle, Fellow, IEEE, Paulo Tabuada, Senior Member, IEEE, Aaron D. Ames, Member, IEEE - Lanë - Document - PDFSEARCH.IO

First Page	Meta Content
	1 Correctness Guarantees for the Composition of Lane Keeping and Adaptive Cruise Control Xiangru Xu, Member, IEEE, Jessy W. Grizzle, Fellow, IEEE, Paulo Tabuada, Senior Member, IEEE, Aaron D. Ames, Member, IEEE Add to Reading List Document Date: 2016-08-04 10:26:22 Open Document File Size: 859,10 KB Share Result on Facebook

1 Correctness Guarantees for the Composition of Lane Keeping and Adaptive Cruise Control Xiangru Xu, Member, IEEE, Jessy W. Grizzle, Fellow, IEEE, Paulo Tabuada, Senior Member, IEEE, Aaron D. Ames, Member, IEEEAdd to Reading List