@inproceedings{o2020tunercar, title={TunerCar: A superoptimization toolchain for autonomous racing}, author={O’Kelly, Matthew and Zheng, Hongrui and Jain, Achin and Auckley, Joseph and Luong, Kim and Mangharam, Rahul}, booktitle={2020 IEEE International Conference on Robotics and Automation (ICRA)}, pages={5356--5362}, year={2020}, organization={IEEE} }