@misc{indiciae8f5fcad7e724, title = {Robust-Locomotion-by-Logic: Perturbation-Resilient Bipedal Locomotion via Signal Temporal Logic Guided Model Predictive Control}, author = {Zhaoyuan Gu and Yuntian Zhao and Yipu Chen and Rongming Guo and Jennifer K. Leestma and Gregory S. Sawicki and Ye Zhao}, year = {2024}, url = {https://arxiv.org/abs/2403.15993}, note = {Source identifier: 2403.15993} }