Omega-Regular Reinforcement Learning Benchmarks 2019

Benchmarks for using Omega-Regular Objectives in Model-Free Reinforcement Learning These benchmarks present MDPs described in the PRISM language and omega-regular automata written in the HOA format.