Bacci, Edoardo

1 publications

IJCAI 2021 Verifying Reinforcement Learning up to Infinity Edoardo Bacci, Mirco Giacobbe, David Parker