Clavière, A., Dutta, S. and Sankaranarayanan, S. 2021. Trajectory Tracking Control for Robotic Vehicles Using Counterexample Guided Training of Neural Networks. Proceedings of the International Conference on Automated Planning and Scheduling. 29, 1 (May 2021), 680-688. DOI:https://doi.org/10.1609/icaps.v29i1.3555.