Clavière, A.; Dutta, S.; Sankaranarayanan, S. Trajectory Tracking Control for Robotic Vehicles Using Counterexample Guided Training of Neural Networks. ICAPS 2021, 29, 680-688.