Automatically Synthesizing a Planning and Control Subsystem for the DARPA Urban Challenge

TitleAutomatically Synthesizing a Planning and Control Subsystem for the DARPA Urban Challenge
Publication TypeConference Paper
Year of Publication2008
AuthorsKress-Gazit, H, Pappas, GJ
Conference NameIEEE Conference on Automation Science and Engineering
Conference LocationWashington D.C., USA
Citation KeyKGPcase_08