ResearchBenchmarksLyapunov stability verification on 2D Quadrotor state feedbackFollow1.1Time (s)CEGIS-4.61633.96772.55111.133Nov 27, 2024Evaluation ResultsMethodMethodLinksTime (s)ROACEGIS2024.111.13.29CT-BaBLoading training subre...Loading training subregions=true2024.114954.39CT-BaBLoading training subre...Loading training subregions=false2024.1114454.39