Ronca, Licks, Giacomo, 2022. Markov Abstractions for PAC Reinforcement Learning in Non-Markov Decision Processes.