An autonomous vehicle control stack

A. Rodionova, M. O’Kelly, H. Abbas, V. Pacelli, and R. Mangharam, In Workshop on Applied Verification for Continuous and Hybrid Systems, 2017.