SpecRLBench: A Benchmark for Generalization in Specification-Guided Reinforcement Learning

Zijian Guo, İlker Işık, H. M. Sabbir Ahmad +1

Specification-guided reinforcement learning (RL) provides a principled framework for encoding complex, temporally extended tasks using formal specifications such as linear temporal…