Verifying reinforcement learning up to infinity - Bacci, E; Giacobbe, M; Parker, D (Proceedings of the International Joint Conference on Artificial Intelligence, 2021)