Yuxiao Chen, Huei Peng, Jessy W. Grizzle. Correct by construction design of autonomous vehicles through a barrier function method. In 2017 American Control Conference, ACC 2017, Seattle, WA, USA, May 24-26, 2017. pages 4926-4931, IEEE, 2017. [doi]
@inproceedings{ChenPG17a,
title = {Correct by construction design of autonomous vehicles through a barrier function method},
author = {Yuxiao Chen and Huei Peng and Jessy W. Grizzle},
year = {2017},
doi = {10.23919/ACC.2017.7963718},
url = {https://doi.org/10.23919/ACC.2017.7963718},
researchr = {https://researchr.org/publication/ChenPG17a},
cites = {0},
citedby = {0},
pages = {4926-4931},
booktitle = {2017 American Control Conference, ACC 2017, Seattle, WA, USA, May 24-26, 2017},
publisher = {IEEE},
isbn = {978-1-5090-5992-8},
}