Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
This paper introduces GraSP-STL, a graph-search framework for zero-shot Signal Temporal Logic (STL) planning using offline reinforcement learning. It learns a goal-conditioned value function to create a directed graph abstraction representing feasible state transitions. Planning is then performed via graph search, evaluated with STL robustness metrics, and executed by a learned goal-conditioned policy, enabling generalization to unseen STL tasks without retraining.
Offline reinforcement learning can achieve zero-shot generalization to unseen Signal Temporal Logic tasks by decoupling reachability learning from task-conditioned planning.
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, with no analytical dynamics model, no further environment interaction, and no task-specific retraining. The objective is to synthesize a control strategy whose resulting trajectory satisfies an arbitrary unseen STL specification. To this end, we propose GraSP-STL, a graph-search-based framework for zero-shot STL planning from offline trajectories. The method learns a goal-conditioned value function from offline data and uses it to induce a finite-horizon reachability metric over the state space. Based on this metric, it constructs a directed graph abstraction whose nodes represent representative states and whose edges encode feasible short-horizon transitions. Planning is then formulated as a graph search over waypoint sequences, evaluated using arithmetic-geometric mean robustness and its interval semantics, and executed by a learned goal-conditioned policy. The proposed framework separates reusable reachability learning from task-conditioned planning, enabling zero-shot generalization to unseen STL tasks and long-horizon planning through the composition of short-horizon behaviors from offline data. Experimental results demonstrate its effectiveness on a range of offline STL planning tasks.