Hadas Kress-Gazit, George J. Pappas. Automatically synthesizing a planning and control subsystem for the DARPA urban challenge. In 2008 IEEE International Conference on Automation Science and Engineering, IEEE CASE 2008, Washington, DC, USA, August 23-26, 2008. pages 766-771, IEEE, 2008. [doi]
Abstract is missing.