Correctness Guarantees for the Composition of Lane Keeping and Adaptive Cruise Control
| Title | Correctness Guarantees for the Composition of Lane Keeping and Adaptive Cruise Control |
| Publication Type | Journal Article |
| Year of Publication | 2016 |
| Authors | Xu, Xiangru, Grizzle, Jessy W, Tabuada, Paulo, Ames, Aaron D |
| Journal | arXiv preprint arXiv:1609.06807 |
| Keywords | 1552668 |
| URL | https://arxiv.org/pdf/1609.06807 |
| Citation Key | xu2016correctness |