@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={}
}