Verifying Regions of Attraction for Stable Walking Gaits of Legged Robots using Deep Learning-based Reachability Analysis

This work develops a deep learning-based framework to estimate the regions of attraction (RoAs) for stable walking gaits of legged robots, and leverages the RoA analysis to design a gait stabilizing controller and an effective gait switching strategy.