Walking-by-Logic: Signal Temporal Logic-Guided Model Predictive Control for Bipedal Locomotion Resilient to External Perturbations. - Zhaoyuan Gu; Rongming Guo; William Yates; Yipu Chen; Ye Zhao 002 (CoRR, 2023)

Signal Temporal Logic-Guided Model Predictive Control for Robust Bipedal Locomotion Resilient to Runtime External Perturbations. - Zhaoyuan Gu; Rongming Guo; William Yates; Yipu Chen; Ye Zhao 002 (CoRR, 2023)

Walking-by-Logic: Signal Temporal Logic-Guided Model Predictive Control for Bipedal Locomotion Resilient to External Perturbations. - Zhaoyuan Gu; Rongming Guo; William Yates; Yipu Chen; Yuntian Zhao; Ye Zhao 002 (ICRA, 2024)

Robust-Locomotion-By-Logic: Perturbation-Resilient Bipedal Locomotion via Signal Temporal Logic Guided Model Predictive Control. - Zhaoyuan Gu; Yuntian Zhao; Yipu Chen; Rongming Guo; Jennifer K. Leestma; Gregory S. Sawicki; Ye Zhao 002 (IEEE Trans. Robotics, 2025)