TY - RPRT TI - Computation of Regions of Attraction for Hybrid Limit Cycles Using Reachability: An Application to Walking Robots AU - Jason J. Choi AU - Ayush Agrawal AU - Koushil Sreenath AU - Claire J. Tomlin AU - Somil Bansal PY - 2022 UR - https://arxiv.org/abs/2201.08538 ID - 2201.08538 ER -