@InProceedings{BGP21, author={Edoardo Bacci and Mirco Giacobbe and David Parker}, title={Verifying Reinforcement Learning up to Infinity}, booktitle={Proc. 30th International Joint Conference on Artificial Intelligence (IJCAI'21)}, year={2021}, editors={}, pages={2154-2160}, organization={}, publisher={}, series={}, volume={}, address={}, month={}, note={}, key={} }