Verifying Reinforcement Learning up to Infinity.

Edoardo Bacci, Mirco Giacobbe, David Parker

Browse the full IJCAI paper archive.