Hadas Kress-Gazit, George J. Pappas
Automatically synthesizing a planning and control subsystem for the DARPA urban challenge
CASE, 2008.
@inproceedings{CASE-2008-Kress-GazitP, author = "Hadas Kress-Gazit and George J. Pappas", booktitle = "{Proceedings of the Fourth International Conference on Automation Science and Engineering}", doi = "10.1109/COASE.2008.4626549", isbn = "978-1-4244-2022-3", pages = "766--771", publisher = "{IEEE}", title = "{Automatically synthesizing a planning and control subsystem for the DARPA urban challenge}", year = 2008, }