Computation of Regions of Attraction for Hybrid Limit Cycles Using Reachability: An Application to Walking Robots.