Stars
The official implementation of DeepLTL: Learning to Efficiently Satisfy Complex LTL Specifications for Multi-Task RL (ICLR'25 Oral)
Exploiting Hybrid Policy in Reinforcement Learning for Interpretable Temporal Logic Manipulation
NeurlPS'23 Instructing Goal-Conditioned Agents with LTL Objectives
A tool for modifying reinforcement learning environments to incorporate rml specifications in reward function
Learning to Follow Instructions in Text-Based Games