@misc{indiciaef0eb1a7d05e2,
  title = {Walking-by-Logic: Signal Temporal Logic-Guided Model Predictive Control for Bipedal Locomotion Resilient to External Perturbations},
  author = {Zhaoyuan Gu and Rongming Guo and William Yates and Yipu Chen and Ye Zhao},
  year = {2023},
  url = {https://arxiv.org/abs/2309.13172},
  note = {Source identifier: 2309.13172}
}