Zijian Guo

Zijian Guo's homepage

Zero-Shot Generalization to Arbitrary Linear Temporal Logic Requirements in Multi-Task Reinforcement Learning

Signal Temporal Logic-Conditioned Decision Transformer

Set of robotic environments based on PyBullet physics engine and gymnasium.