ResearchBenchmarksLyapunov stability verification on Inverted Pendulum outputFollow5.3Time (s)CT-BaB1.75225.70149.6573.599Nov 27, 2024Evaluation ResultsMethodMethodLinksTime (s)Region of Attraction (ROA)CT-BaBLoading training subre...Loading training subregions=true2024.115.312.23CT-BaBLoading training subre...Loading training subregions=false2024.1148.812.23CEGIS2024.11946.26