3 papers
cs.RO2025
Optimization-based Task and Motion Planning under Signal Temporal Logic Specifications using Logic Network Flow
Xuan Lin, Jiming Ren, Samuel Coogan +1
This paper proposes an optimization-based task and motion planning framework, named "Logic Network Flow", to integrate signal temporal logic (STL) specifications into efficient mix…
cs.RO2025
Towards Tighter Convex Relaxation of Mixed-Integer Programs: Leveraging Logic Network Flow for Task and Motion Planning
Xuan Lin, Jiming Ren, Yandong Luo +2
This paper proposes an optimization-based task and motion planning framework, named "Logic Network Flow," that integrates temporal logic specifications into mixed-integer programs…
cs.RO2025
Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition
Jiming Ren, Xuan Lin, Roman Mineyev +3
Task and motion planning under Signal Temporal Logic constraints is known to be NP-hard. A common class of approaches formulates these hybrid problems, which involve discrete task…