Maximally Permissive Reward Machines | Read Paper on Bytez