related documents Trajectory Tracking Control for Robotic Vehicles using Counterexample Guided Training of Neural Networks Conference Proceeding
