Regular Decision Processes for Grid Worlds