%0 Conference Paper %1 conf/icves/ParkO12 %A Park, Jaeyong %A Özgüner, Ümit %B ICVES %D 2012 %I IEEE %K dblp %P 134-139 %T Model based controller synthesis using reachability analysis that guarantees the safety of autonomous vehicles in a convoy. %U http://dblp.uni-trier.de/db/conf/icves/icves2012.html#ParkO12 %@ 978-1-4673-0992-9

@inproceedings{conf/icves/ParkO12, added-at = {2016-05-10T00:00:00.000+0200}, author = {Park, Jaeyong and Özgüner, Ümit}, biburl = {https://www.bibsonomy.org/bibtex/248f420edb653a5995014ae241996a649/dblp}, booktitle = {ICVES}, crossref = {conf/icves/2012}, ee = {http://dx.doi.org/10.1109/ICVES.2012.6294257}, interhash = {e127c886307da8b1e4892f6dd88fa42e}, intrahash = {48f420edb653a5995014ae241996a649}, isbn = {978-1-4673-0992-9}, keywords = {dblp}, pages = {134-139}, publisher = {IEEE}, timestamp = {2016-05-11T11:39:37.000+0200}, title = {Model based controller synthesis using reachability analysis that guarantees the safety of autonomous vehicles in a convoy.}, url = {http://dblp.uni-trier.de/db/conf/icves/icves2012.html#ParkO12}, year = 2012 }