TUNERCAR: A Superoptimization Toolchain for Autonomous Racing. - Matthew O'Kelly; Hongrui Zheng; Achin Jain; Joseph Auckley; Kim Luong; Rahul Mangharam (ICRA, 2020)