Clavière, A., S. Dutta, and S. Sankaranarayanan. “Trajectory Tracking Control for Robotic Vehicles Using Counterexample Guided Training of Neural Networks”. Proceedings of the International Conference on Automated Planning and Scheduling, vol. 29, no. 1, May 2021, pp. 680-8, doi:10.1609/icaps.v29i1.3555.