ResearchBenchmarksLyapunov stability verification on Inverted Pendulum large torqueFollow1.8Time (s)CT-BaB0.5528.97617.425.824Nov 27, 2024Evaluation ResultsMethodMethodLinksTime (s)ROACT-BaBLoading training subre...Loading training subregions=true2024.111.8505.4Wu et al.2024.1111.353.28CT-BaBLoading training subre...Loading training subregions=false2024.1112.4505.4CEGIS2024.1133239.04