Cover Image

A Framework for Motion Planning with Temporal Logic Precedence Specifications via Augmented Graphs of Convex Sets

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	You, Shilin, Luna, Gael, Summers, Tyler H.
Format:	Preprint
Published:	2026
Subjects:	Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Augmented Graphs of Convex Sets and the Traveling Salesman Problem
by: Luna, Gael, et al.
Published: (2026)

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

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

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

Optimal Planning and Control under Signal Temporal Logic Specifications
by: Pan, Zuodong, et al.
Published: (2026)

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

Neuro-Symbolic Acceleration of MILP Motion Planning with Temporal Logic and Chance Constraints
by: Cai, Junyang, et al.
Published: (2025)

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

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

Handover-Aware URLLC UAV Trajectory Planning: A Continuous-Time Trajectory Optimization via Graphs of Convex Sets
by: Ping, Yuqi, et al.
Published: (2025)

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

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

Best Response Convergence for Zero-sum Stochastic Dynamic Games with Partial and Asymmetric Information
by: Guan, Yuxiang, et al.
Published: (2025)

Time-Robust Path Planning with Piece-Wise Linear Trajectory for Signal Temporal Logic Specifications
by: Le, Nhan-Khanh, et al.
Published: (2024)

Maximally Resilient Controllers under Temporal Logic Specifications
by: Si, Youssef Ait, et al.
Published: (2025)

Energetic Resilience under Temporal Logic Specifications
by: Das, Ratnangshu, et al.
Published: (2026)

Trajectory Optimization for UAV-Based Medical Delivery with Temporal Logic Constraints and Convex Feasible Set Collision Avoidance
by: Chen, Kaiyuan, 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 Policy Iteration Algorithm for N-player General-Sum Linear Quadratic Dynamic Games
by: Guan, Yuxiang, et al.
Published: (2024)

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

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

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

Generalization of Compositional Tasks with Logical Specification via Implicit Planning
by: Xu, Duo, et al.
Published: (2024)

SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications
by: Baheri, Ali, et al.
Published: (2025)

Distributionally Robust Control for Chance-Constrained Signal Temporal Logic Specifications
by: Kordabad, Arash Bahari, et al.
Published: (2024)

A Convex Hull Cheapest Insertion Heuristic for Precedence Constrained Traveling Salesperson Problems or Sequential Ordering Problems
by: Goutham, Mithun, et al.
Published: (2023)

Multi-Agent Temporal Logic Planning via Penalty Functions and Block-Coordinate Optimization
by: Vlahakis, Eleftherios E., et al.
Published: (2026)

Resilient and Effort-Optimal Controller Synthesis under Temporal Logic Specifications
by: Si, Youssef Ait, et al.
Published: (2026)

Capability Augmentation for Heterogeneous Dynamic Teaming with Temporal Logic Tasks
by: Berlind, Carter, et al.
Published: (2024)

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

Roundabout Constrained Convex Generators: A Unified Framework for Multiply-Connected Reachable Sets
by: Xie, Peng, et al.
Published: (2025)

Approximation-free Control for Signal Temporal Logic Specifications using Spatiotemporal Tubes
by: Das, Ratnangshu, et al.
Published: (2025)

Neural Control Barrier Functions for Signal Temporal Logic Specifications with Input Constraints
by: Jagabathula, Vaishnavi, et al.
Published: (2025)

Continuous-Time Control Synthesis for Multiple Quadrotors under Signal Temporal Logic Specifications
by: Yuan, Yating, et al.
Published: (2025)

Zonotope-based Symbolic Controller Synthesis for Linear Temporal Logic Specifications
by: Ren, Wei, et al.
Published: (2024)

Disturbance Rejection Control under Nested Signal Temporal Logic Specifications: A Recursive Design Approach
by: Peng, Yuzhang, 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)

Prioritize Team Actions: Multi-Agent Temporal Logic Task Planning with Ordering Constraints
by: Ye, Bowen, et al.
Published: (2024)

Multi-Task Learning for Few-Shot Online Adaptation under Signal Temporal Logic Specifications
by: Arias, Andres, et al.
Published: (2024)