Cover Image

Signal Temporal Logic Motion Planning via Graphs of Convex Sets

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Chen, Yu, Hou, Ancheng, Feng, Mingyang, Yu, Xiao, Yin, Xiang
Format:	Preprint
Published:	2026
Subjects:	Robotics Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

DAG-STL: A Hierarchical Framework for Zero-Shot Trajectory Planning under Signal Temporal Logic Specifications
by: Liu, Ruijia, et al.
Published: (2026)

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

SAGAS: Semantic-Aware Graph-Assisted Stitching for Offline Temporal Logic Planning
by: Liu, Ruijia, et al.
Published: (2025)

VH-Diffuser: Variable Horizon Diffusion Planner for Time-Aware Goal-Conditioned Trajectory Planning
by: Liu, Ruijia, et al.
Published: (2025)

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

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

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

Motion Planning for Autonomous Vehicles using Optimization over Graphs of Convex Sets
by: Wagner, Matheus, et al.
Published: (2026)

GraSP-STL: A Graph-Based Framework for Zero-Shot Signal Temporal Logic Planning via Offline Goal-Conditioned Reinforcement Learning
by: Hou, Ancheng, et al.
Published: (2026)

To Explore or Not to Explore: Regret-Based LTL Planning in Partially-Known Environments
by: Zhao, Jianing, et al.
Published: (2022)

Trajectory Optimization for UAV-Based Medical Delivery with Temporal Logic Constraints and Convex Feasible Set Collision Avoidance
by: Chen, Kaiyuan, et al.
Published: (2025)

Motion Planning with Metric Temporal Logic Using Reachability Analysis and Hybrid Zonotopes
by: Thompson, Andrew F., et al.
Published: (2026)

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

Task and Motion Planning of Dynamic Systems using Hyperproperties for Signal Temporal Logics
by: Zhao, Jianing, et al.
Published: (2025)

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

ReasonSTL: Bridging Natural Language and Signal Temporal Logic via Tool-Augmented Process-Rewarded Learning
by: Ye, Bowen, et al.
Published: (2026)

A Framework for Motion Planning with Temporal Logic Precedence Specifications via Augmented Graphs of Convex Sets
by: You, Shilin, et al.
Published: (2026)

Motion Planning with Precedence Specifications via Augmented Graphs of Convex Sets
by: You, Shilin, et al.
Published: (2025)

Systematic Constraint Formulation and Collision-Free Trajectory Planning Using Space-Time Graphs of Convex Sets
by: Osburn, Matthew D., et al.
Published: (2025)

STLCCP: Efficient Convex Optimization-based Framework for Signal Temporal Logic Specifications
by: Takayama, Yoshinari, et al.
Published: (2023)

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

LLM-Enabled Low-Altitude UAV Natural Language Navigation via Signal Temporal Logic Specification Translation and Repair
by: Ping, Yuqi, et al.
Published: (2026)

Safety Evaluation of Motion Plans Using Trajectory Predictors as Forward Reachable Set Estimators
by: Chakraborty, Kaustav, et al.
Published: (2025)

Reactive Temporal Logic-based Planning and Control for Interactive Robotic Tasks
by: Nawaz, Farhad, et al.
Published: (2024)

STLGame: Signal Temporal Logic Games in Adversarial Multi-Agent Systems
by: Yang, Shuo, et al.
Published: (2024)

Safety Verification and Navigation for Autonomous Vehicles based on Signal Temporal Logic Constraints
by: Parameshwaran, Aditya, et al.
Published: (2024)

Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges
by: Yin, Xiang, et al.
Published: (2024)

Deep Reinforcement Learning Graphs: Feedback Motion Planning via Neural Lyapunov Verification
by: Ghanbarzadeh, Armin, et al.
Published: (2023)

SIMPNet: Spatial-Informed Motion Planning Network
by: Soleymanzadeh, Davood, et al.
Published: (2024)

SafeFlow: Safe Robot Motion Planning with Flow Matching via Control Barrier Functions
by: Dai, Xiaobing, et al.
Published: (2025)

Signal Temporal Logic Meets Convex-Concave Programming: A Structure-Exploiting SQP Algorithm for STL Specifications
by: Takayama, Yoshinari, et al.
Published: (2023)

Guaranteed Completion of Complex Tasks via Temporal Logic Trees and Hamilton-Jacobi Reachability
by: Jiang, Frank J., et al.
Published: (2024)

Multi-Robot Trajectory Generation via Consensus ADMM: Convex vs. Non-Convex
by: Chen, Jushan
Published: (2024)

Chance-Constrained Neural MPC under Uncontrollable Agents via Sequential Convex Programming
by: Wang, Shuqi, et al.
Published: (2025)

Convex Maneuver Planning for Spacecraft Collision Avoidance
by: Vega, Fausto, et al.
Published: (2025)

Convex Hulls of Reachable Sets
by: Lew, Thomas, et al.
Published: (2023)

A Hybrid Task-Constrained Motion Planning for Collaborative Robots in Intelligent Remanufacturing
by: Liu, Wansong, et al.
Published: (2024)

Kinodynamic Motion Planning via Funnel Control for Underactuated Unmanned Surface Vehicles
by: Lapandić, Dženan, et al.
Published: (2023)

Sandwich Approach for Motion Planning and Control
by: Ramezani, Mohamadreza, et al.
Published: (2023)

RRT-CBF Based Motion Planning
by: Liu, Leonas, et al.
Published: (2024)