TY - RPRT TI - Robust-Locomotion-by-Logic: Perturbation-Resilient Bipedal Locomotion via Signal Temporal Logic Guided Model Predictive Control AU - Zhaoyuan Gu AU - Yuntian Zhao AU - Yipu Chen AU - Rongming Guo AU - Jennifer K. Leestma AU - Gregory S. Sawicki AU - Ye Zhao PY - 2024 UR - https://arxiv.org/abs/2403.15993 ID - 2403.15993 ER -