Anqi Li, Li Wang 0050, Pietro Pierpaoli, Magnus Egerstedt. Formally Correct Composition of Coordinated Behaviors Using Control Barrier Certificates. In 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2018, Madrid, Spain, October 1-5, 2018. pages 3723-3729, IEEE, 2018. [doi]
@inproceedings{LiWPE18,
title = {Formally Correct Composition of Coordinated Behaviors Using Control Barrier Certificates},
author = {Anqi Li and Li Wang 0050 and Pietro Pierpaoli and Magnus Egerstedt},
year = {2018},
doi = {10.1109/IROS.2018.8594302},
url = {https://doi.org/10.1109/IROS.2018.8594302},
researchr = {https://researchr.org/publication/LiWPE18},
cites = {0},
citedby = {0},
pages = {3723-3729},
booktitle = {2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2018, Madrid, Spain, October 1-5, 2018},
publisher = {IEEE},
isbn = {978-1-5386-8094-0},
}