TY  - RPRT
TI  - Correctness Guarantees for the Composition of Lane Keeping and Adaptive Cruise Control
AU  - Xiangru Xu
AU  - Jessy W. Grizzle
AU  - Paulo Tabuada
AU  - Aaron D. Ames
PY  - 2017
UR  - https://arxiv.org/abs/1609.06807
ID  - 1609.06807
ER  -