A. Clavière, S. Dutta, and S. Sankaranarayanan, “Trajectory Tracking Control for Robotic Vehicles Using Counterexample Guided Training of Neural Networks”, ICAPS, vol. 29, no. 1, pp. 680-688, May 2021.