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