Clavière, Arthur, Souradeep Dutta, and Sriram Sankaranarayanan. 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-88. https://doi.org/10.1609/icaps.v29i1.3555.