ResearchBenchmarksSystem Verification and Training on Inverted PendulumFollow1.7Training Time (min)CT-BaB1.4323.2415.056.859Nov 27, 2024Evaluation ResultsMethodMethodLinksTraining Time (min)Verification Time (s)Total Time (min)CT-BaB2024.111.71.81.7CEGIS2024.118.4338.9