Source code for "Computation of RoAs for Hybrid Limit Cycles Using Reachability: An Application to Walking Robots", RA-L 2022 - View it on GitHub