Verifying reinforcement learning up to infinity (Proceedings of the International Joint Conference on Artificial Intelligence, 2021)

(untitled) - Bacci, E; Giacobbe, M; Parker, D