Cover Image

DAG-STL: A Hierarchical Framework for Zero-Shot Trajectory Planning under Signal Temporal Logic Specifications

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Liu, Ruijia, Hou, Ancheng, 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

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)

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)

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

VH-Diffuser: Variable Horizon Diffusion Planner for Time-Aware Goal-Conditioned Trajectory Planning
by: Liu, Ruijia, 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)

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)

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

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

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

RRT* Based Optimal Trajectory Generation with Linear Temporal Logic Specifications under Kinodynamic Constraints
by: Gautam, Saksham, et al.
Published: (2024)

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

Zero-Shot Signal Temporal Logic Planning with Disjunctive Branch Selection in Dynamic Semantic Maps
by: Ye, Bowen, et al.
Published: (2026)

Scalable Multi-Robot Task Allocation and Coordination under Signal Temporal Logic Specifications
by: Liu, Wenliang, et al.
Published: (2025)

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

Sampling-Based Hierarchical Trajectory Planning for Formation Flight
by: Liu, Qingzhao, 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)

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

Hierarchical Trajectory Planning of Floating-Base Multi-Link Robot for Maneuvering in Confined Environments
by: Chen, Yicheng, et al.
Published: (2026)

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

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)

Counter-example guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications
by: Dang, Thao, et al.
Published: (2024)

Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications
by: Zhao, Yiqi, et al.
Published: (2025)

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

Robust Conformal Prediction for STL Runtime Verification under Distribution Shift
by: Zhao, Yiqi, et al.
Published: (2023)

SPOT: Spatio-Temporal Obstacle-free Trajectory Planning for UAVs in an Unknown Dynamic Environment
by: Srivastava, Astik, 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)

RED: Adaptive Real-Time DAG Scheduling for Robotic Inference under Environmental Dynamics
by: Li, Zexin, et al.
Published: (2026)

RTD-RAX: Fast, Safe Trajectory Planning for Systems under Unknown Disturbances
by: Morales-Cuadrado, Evanns, et al.
Published: (2026)

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

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

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

Hierarchical Motion Planning and Control under Unknown Nonlinear Dynamics via Predicted Reachability
by: Zhang, Zhiquan, et al.
Published: (2026)

Reliable and Real-Time Highway Trajectory Planning via Hybrid Learning-Optimization Frameworks
by: Lu, Yujia, et al.
Published: (2025)

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

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

Optimizing Control-Friendly Trajectories with Self-Supervised Residual Learning
by: Guo, Kexin, et al.
Published: (2026)