@misc{indiciaefc13a7753334,
  title = {Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition},
  author = {Jiming Ren and Xuan Lin and Roman Mineyev and Karen M. Feigh and Samuel Coogan and Ye Zhao},
  year = {2025},
  url = {https://arxiv.org/abs/2508.13407},
  note = {Source identifier: 2508.13407}
}