Imagen de Portada

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

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Ren, Jiming, Lin, Xuan, Mineyev, Roman, Feigh, Karen M., Coogan, Samuel, Zhao, Ye
Formato:	Preprint
Publicado:	2025
Materias:	Robotics
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Optimization-based Task and Motion Planning under Signal Temporal Logic Specifications using Logic Network Flow
por: Lin, Xuan, et al.
Publicado: (2024)

LTL-D*: Incrementally Optimal Replanning for Feasible and Infeasible Tasks in Linear Temporal Logic Specifications
por: Ren, Jiming, et al.
Publicado: (2024)

Adaptive Obstacle-Aware Task Assignment and Planning for Heterogeneous Robot Teaming
por: Li, Nan, et al.
Publicado: (2025)

Towards Tighter Convex Relaxation of Mixed-integer Programs: Leveraging Logic Network Flow for Task and Motion Planning
por: Lin, Xuan, et al.
Publicado: (2025)

A Unified Approach to Multi-task Legged Navigation: Temporal Logic Meets Reinforcement Learning
por: Jiang, Jesse, et al.
Publicado: (2024)

Bipedal Safe Navigation over Uncertain Rough Terrain: Unifying Terrain Mapping and Locomotion Stability
por: Muenprasitivej, Kasidit, et al.
Publicado: (2024)

Terrain-Aware Model Predictive Control of Heterogeneous Bipedal and Aerial Robot Coordination for Search and Rescue Tasks
por: Shamsah, Abdulaziz, et al.
Publicado: (2024)

Accelerating Hybrid Model Predictive Control using Warm-Started Generalized Benders Decomposition
por: Lin, Xuan
Publicado: (2024)

Fast and Continual Learning for Hybrid Control Policies using Generalized Benders Decomposition
por: Lin, Xuan
Publicado: (2024)

Robust-Locomotion-by-Logic: Perturbation-Resilient Bipedal Locomotion via Signal Temporal Logic Guided Model Predictive Control
por: Gu, Zhaoyuan, et al.
Publicado: (2024)

Lexicographic Minimum-Violation Motion Planning using Signal Temporal Logic
por: Halder, Patrick, et al.
Publicado: (2026)

Bridging Perception and Planning: Towards End-to-End Planning for Signal Temporal Logic Tasks
por: Ye, Bowen, et al.
Publicado: (2025)

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems
por: Wei, Zhongqi, et al.
Publicado: (2025)

Signal Temporal Logic Motion Planning via Graphs of Convex Sets
por: Chen, Yu, et al.
Publicado: (2026)

Unified Path and Gait Planning for Safe Bipedal Robot Navigation
por: Peng, Chengyang, et al.
Publicado: (2024)

Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
por: Kapoor, Parv, et al.
Publicado: (2024)

Feasibility-aware Hybrid Control for Motion Planning under Signal Temporal Logics
por: Rousseas, Panagiotis, et al.
Publicado: (2026)

Feedback Motion Planning for Stochastic Nonlinear Systems with Signal Temporal Logic Specifications
por: Ma, Liqian, et al.
Publicado: (2026)

A Value Function Space Approach for Hierarchical Planning with Signal Temporal Logic Tasks
por: Liu, Peiran, et al.
Publicado: (2024)

Make Your VLA More Robust Without More Data By Interleaving Motion Planning
por: Choe, Dan BW, et al.
Publicado: (2026)

MAPS$^2$: Multi-Robot Autonomous Motion Planning under Signal Temporal Logic Specifications
por: Sewlia, Mayank, et al.
Publicado: (2023)

Zero-Shot Trajectory Planning for Signal Temporal Logic Tasks
por: Liu, Ruijia, et al.
Publicado: (2025)

Probabilistically-Safe Bipedal Navigation over Uncertain Terrain via Conformal Prediction and Contraction Analysis
por: Muenprasitivej, Kasidit, et al.
Publicado: (2025)

Edge Accelerated Robot Navigation With Collaborative Motion Planning
por: Li, Guoliang, et al.
Publicado: (2023)

Signal Temporal Logic Planning with Time-Varying Robustness
por: Yuan, Yating, et al.
Publicado: (2024)

STATE-NAV: Stability-Aware Traversability Estimation for Bipedal Navigation on Rough Terrain
por: Yoon, Ziwon, et al.
Publicado: (2025)

Ask, Reason, Assist: Robot Collaboration via Natural Language and Temporal Logic
por: Choe, Dan BW, et al.
Publicado: (2025)

Inferring Belief States in Partially-Observable Human-Robot Teams
por: Kolb, Jack, et al.
Publicado: (2024)

Real-time Model Predictive Control with Zonotope-Based Neural Networks for Bipedal Social Navigation
por: Shamsah, Abdulaziz, et al.
Publicado: (2024)

T3 Planner: A Self-Correcting LLM Framework for Robotic Motion Planning with Temporal Logic
por: Li, Jia, et al.
Publicado: (2025)

Decomposition-based Hierarchical Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications
por: Luo, Xusheng, et al.
Publicado: (2023)

Signal Temporal Logic Compliant Co-design of Planning and Control
por: Juvvi, Manas Sashank, et al.
Publicado: (2025)

Motion Planning Under Temporal Logic Specifications In Semantically Unknown Environments
por: Taheri, Azizollah, et al.
Publicado: (2025)

Socially Acceptable Bipedal Robot Navigation via Social Zonotope Network Model Predictive Control
por: Shamsah, Abdulaziz, et al.
Publicado: (2024)

Hierarchical Diffusion Motion Planning with Task-Conditioned Uncertainty-Aware Priors
por: Kim, Amelie Minji, et al.
Publicado: (2025)

Accelerated Learning with Linear Temporal Logic using Differentiable Simulation
por: Bozkurt, Alper Kamil, et al.
Publicado: (2025)

ScheduleStream: Temporal Planning with Samplers for GPU-Accelerated Multi-Arm Task and Motion Planning & Scheduling
por: Garrett, Caelan, et al.
Publicado: (2025)

Trajectory Planning with Signal Temporal Logic Costs using Deterministic Path Integral Optimization
por: Halder, Patrick, et al.
Publicado: (2025)

LLM-Grounded Dynamic Task Planning with Hierarchical Temporal Logic for Human-Aware Multi-Robot Collaboration
por: Hu, Shuyuan, et al.
Publicado: (2026)

D-LGP: Dynamic Logic-Geometric Program for Reactive Task and Motion Planning
por: Xue, Teng, et al.
Publicado: (2023)