:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Ren, Jiming, Lin, Xuan, Mineyev, Roman, Feigh, Karen M., Coogan, Samuel, Zhao, Ye
Format:	Preprint
Published:	2025
Subjects:	Robotics
Online Access:	https://arxiv.org/abs/2508.13407
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

EmoBipedNav: Emotion-aware Social Navigation for Bipedal Robots with Deep Reinforcement Learning
by: Zhu, Wei, et al.
Published: (2025)