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