Optimization-based task and motion planning under signal temporal logic specifications using logic network flow

X. Lin, J. Ren, S. Coogan, Y. Zhao
IEEE International Conference on Robotics and Automation, 2025

Abstract