%0 Conference Paper %1 conf/ccta/SquiresPE18 %A Squires, Eric %A Pierpaoli, Pietro %A Egerstedt, Magnus %B CCTA %D 2018 %I IEEE %K dblp %P 1656-1661 %T Constructive Barrier Certificates with Applications to Fixed-Wing Aircraft Collision Avoidance. %U http://dblp.uni-trier.de/db/conf/ccta/ccta2018.html#SquiresPE18 %@ 978-1-5386-7698-1

@inproceedings{conf/ccta/SquiresPE18, added-at = {2019-01-01T00:00:00.000+0100}, author = {Squires, Eric and Pierpaoli, Pietro and Egerstedt, Magnus}, biburl = {https://www.bibsonomy.org/bibtex/286c514a58f4859b48487d5c17c5a195e/dblp}, booktitle = {CCTA}, crossref = {conf/ccta/2018}, ee = {https://doi.org/10.1109/CCTA.2018.8511342}, interhash = {cc1a36cfe0b36eb605966472aa07aaee}, intrahash = {86c514a58f4859b48487d5c17c5a195e}, isbn = {978-1-5386-7698-1}, keywords = {dblp}, pages = {1656-1661}, publisher = {IEEE}, timestamp = {2019-10-17T14:57:30.000+0200}, title = {Constructive Barrier Certificates with Applications to Fixed-Wing Aircraft Collision Avoidance.}, url = {http://dblp.uni-trier.de/db/conf/ccta/ccta2018.html#SquiresPE18}, year = 2018 }