Cover Image

SAGAS: Semantic-Aware Graph-Assisted Stitching for Offline Temporal Logic Planning

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Liu, Ruijia, Hou, Ancheng, Yin, Xiang
Format:	Preprint
Published:	2025
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)

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

Signal Temporal Logic Motion Planning via Graphs of Convex Sets
by: Chen, Yu, 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)

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)

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

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)

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)

Surface-Constrained Offline Warping with Contact-Aware Online Pose Projection for Safe Robotic Trajectory Execution
by: Wang, Farong, et al.
Published: (2026)

Stitching Dynamic Movement Primitives and Image-based Visual Servo Control
by: Rotithor, Ghananeel, et al.
Published: (2021)

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

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

Model Predictive Control with Visibility Graphs for Humanoid Path Planning and Tracking Against Adversarial Opponents
by: Hou, Ruochen, et al.
Published: (2025)

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

Ensuring Safety at Intelligent Intersections: Temporal Logic Meets Reachability Analysis
by: Arfvidsson, Kaj Munhoz, et al.
Published: (2024)

Ternary Logic Encodings of Temporal Behavior Trees with Application to Control Synthesis
by: Matheu, Ryan, et al.
Published: (2026)

Design of a Double-joint Robotic Fish Using a Composite Linkage
by: Zhang, Ruijia, 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)

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

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

Risk-Aware Autonomous Driving with Linear Temporal Logic Specifications
by: Qi, Shuhao, et al.
Published: (2024)

Efficient Coordination and Synchronization of Multi-Robot Systems Under Recurring Linear Temporal Logic
by: Peron, Davide, et al.
Published: (2025)

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

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

Multi-Uncertainty Aware Autonomous Cooperative Planning
by: Zhang, Shiyao, et al.
Published: (2024)

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

KG-Planner: Knowledge-Informed Graph Neural Planning for Collaborative Manipulators
by: Liu, Wansong, et al.
Published: (2024)

Learning a Shape-adaptive Assist-as-needed Rehabilitation Policy from Therapist-informed Input
by: Hou, Zhimin, et al.
Published: (2025)

Safe and Optimal Learning from Preferences via Weighted Temporal Logic with Applications in Robotics and Formula 1
by: Karagulle, Ruya, et al.
Published: (2025)

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

Path Planning for a Cooperative Navigation Aid Vehicle to Assist Multiple Agents Sequentially
by: Wolek, Artur
Published: (2024)

Regulation-Aware Game-Theoretic Motion Planning for Autonomous Racing
by: Prignoli, Francesco, et al.
Published: (2025)

Global Uncertainty-Aware Planning for Magnetic Anomaly-Based Navigation
by: Penumarti, Aditya, et al.
Published: (2024)

Uncertainty-Aware Decision-Making and Planning for Autonomous Forced Merging
by: Zhou, Jian, et al.
Published: (2024)

Integrated Exploration-Aware UAV Route Optimization and Path Planning
by: Choi, Jimin, 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)