Xuan Lin, Jiming Ren, Samuel Coogan, Ye Zhao: Optimization-Based Task and Motion Planning Under Signal Temporal Logic Specifications Using Logic Network Flow. ICRA 2025: 12565-12571