ResearchBenchmarksSystem Verification and Training on Path TrackingFollow198Training TimeCT-BaB176.16323.58471618.42Nov 27, 2024Evaluation ResultsMethodMethodLinksTraining TimeVerification TimeTotal TimeCT-BaB2024.111983204CEGIS2024.1174439786