Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition

Documenti analoghi

• Optimization-based Task and Motion Planning under Signal Temporal Logic Specifications using Logic Network Flow
  di: Lin, Xuan, et al.
  Pubblicazione: (2024)
• LTL-D*: Incrementally Optimal Replanning for Feasible and Infeasible Tasks in Linear Temporal Logic Specifications
  di: Ren, Jiming, et al.
  Pubblicazione: (2024)
• Adaptive Obstacle-Aware Task Assignment and Planning for Heterogeneous Robot Teaming
  di: Li, Nan, et al.
  Pubblicazione: (2025)
• Towards Tighter Convex Relaxation of Mixed-integer Programs: Leveraging Logic Network Flow for Task and Motion Planning
  di: Lin, Xuan, et al.
  Pubblicazione: (2025)
• A Unified Approach to Multi-task Legged Navigation: Temporal Logic Meets Reinforcement Learning
  di: Jiang, Jesse, et al.
  Pubblicazione: (2024)