TY  - RPRT
TI  - Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition
AU  - Jiming Ren
AU  - Xuan Lin
AU  - Roman Mineyev
AU  - Karen M. Feigh
AU  - Samuel Coogan
AU  - Ye Zhao
PY  - 2025
UR  - https://arxiv.org/abs/2508.13407
ID  - 2508.13407
ER  -