ResearchBenchmarksSystem Verification and Training on Inverted Pendulum outputFollow7.3Training Time (min)CEGIS7.128.3359.5510.765Nov 27, 2024Evaluation ResultsMethodMethodLinksTraining Time (min)Verification Time (s)Total Time (min)CEGIS2024.117.3948.8CT-BaB2024.1111.85.311.9