Zero-Shot Trajectory Planning for Signal Temporal Logic Tasks

2025-01-23 · Ruijia Liu, Ancheng Hou, Xiao Yu, Xiang Yin

Signal Temporal Logic (STL) is a powerful specification language for describing complex temporal behaviors of continuous signals, making it well-suited for high-level robotic task descriptions. However, generating executable plans for STL tasks is challenging, as it requires consideration of the coupling between the task specification and the system dynamics. Existing approaches either follow a model-based setting that explicitly requires knowledge of the system dynamics or adopt a task-oriented data-driven approach to learn plans for specific tasks. In this work, we investigate the problem of generating executable STL plans for systems whose dynamics are unknown a priori. We propose a new planning framework that uses only task-agnostic data during the offline training stage, enabling zero-shot generalization to new STL tasks. Our framework is hierarchical, involving: (i) decomposing the STL task into a set of progress and time constraints, (ii) searching for time-aware waypoints guided by task-agnostic data, and (iii) generating trajectories using a pre-trained safe diffusion model. Simulation results demonstrate the effectiveness of our method indeed in achieving zero-shot generalization to various STL tasks.

📄 PDF Abstract BibTeX arXiv:2501.13457

Code (0)

등록된 구현이 없습니다.

Tasks

Trajectory Planning Zero-shot Generalization

Methods 이 논문이 사용한 방법론

ADOPT Please enter a description about the method here

Diffusion Diffusion models generate samples by gradually removing noise from a signal, and their training objective can be expressed as a reweighted variational lower-bound…

SET Dynamic Sparse Training method where weight mask is updated randomly periodically

GraSP-STL: A Graph-Based Framework for Zero-Shot Signal Temporal Logic Planning via Offline Goal-Conditioned Reinforcement Learning

2026-03-31 · Ancheng Hou, Ruijia Liu, Xiang Yin arxiv

This paper studies offline, zero-shot planning under Signal Temporal Logic (STL) specifications. We assume access only to an offline dataset of state-action-state transitions collected by a task-agnostic behavior policy,…

Zero-shot Generalization Reinforcement Learning

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

2026-04-20 · Ruijia Liu, Ancheng Hou, Xiao Yu, Xiang Yin arxiv

Signal Temporal Logic (STL) is a powerful language for specifying temporally structured robotic tasks. Planning executable trajectories under STL constraints remains difficult when system dynamics and environment structu…

Zero-shot Generalization Trajectory Planning Logical Reasoning

Zero-Shot Signal Temporal Logic Planning with Disjunctive Branch Selection in Dynamic Semantic Maps

2026-05-02 · Bowen Ye, Ancheng Hou, Junyue Huang, Ruijia Liu 외 arxiv

Signal Temporal Logic (STL) offers verifiable task specifications and is crucial for safety-critical control. Yet STL planning remains challenging: exact optimization-based methods are often too slow, and learning-based …

Zero-shot Generalization Reinforcement Learning

DreamNav: A Trajectory-Based Imaginative Framework for Zero-Shot Vision-and-Language Navigation

2025-09-14 · Yunheng Wang, Yuetong Fang, Taowen Wang, Yixiao Feng 외 arxiv

Vision-and-Language Navigation in Continuous Environments (VLN-CE), which links language instructions to perception and control in the real world, is a core capability of embodied robots. Recently, large-scale pretrained…

Scene Understanding

Wonderful Team: Zero-Shot Physical Task Planning with Visual LLMs

2024-07-26 · Zidan Wang, Rui Shen, Bradly Stadie

We introduce Wonderful Team, a multi-agent Vision Large Language Model (VLLM) framework for executing high-level robotic planning in a zero-shot regime. In our context, zero-shot high-level planning means that for a nove…

Action Generation Large Language Model Task Planning Visual Reasoning