ML Anthology
Authors
Search
About
Bacci, Edoardo
1 publications
IJCAI
2021
Verifying Reinforcement Learning up to Infinity
Edoardo Bacci
,
Mirco Giacobbe
,
David Parker