Clavière, A., Dutta, S., & 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), 680-688. https://doi.org/10.1609/icaps.v29i1.3555