Computation of Regions of Attraction for Hybrid Limit Cycles Using Reachability: An Application to Walking Robots | IEEE Journals & Magazine | IEEE Xplore