TY - RPRT TI - Optimization-based Task and Motion Planning under Signal Temporal Logic Specifications using Logic Network Flow AU - Xuan Lin AU - Jiming Ren AU - Samuel Coogan AU - Ye Zhao PY - 2025 UR - https://arxiv.org/abs/2409.19168 ID - 2409.19168 ER -