Abstraction for deep reinforcement learning - Shanahan, M; Mitchell, M (IJCAI, 2022)