%0 Conference Paper %1 conf/ijcai/BacciG021 %A Bacci, Edoardo %A Giacobbe, Mirco %A Parker, David %B IJCAI %D 2021 %E Zhou, Zhi-Hua %I ijcai.org %K dblp %P 2154-2160 %T Verifying Reinforcement Learning up to Infinity. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2021.html#BacciG021

@inproceedings{conf/ijcai/BacciG021, added-at = {2021-08-25T00:00:00.000+0200}, author = {Bacci, Edoardo and Giacobbe, Mirco and Parker, David}, biburl = {https://www.bibsonomy.org/bibtex/28acf57622111937ad7b48bbf2a4f7953/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/2021}, editor = {Zhou, Zhi-Hua}, ee = {https://doi.org/10.24963/ijcai.2021/297}, interhash = {890d2bed248f9a37ca181efe9091ad1c}, intrahash = {8acf57622111937ad7b48bbf2a4f7953}, keywords = {dblp}, pages = {2154-2160}, publisher = {ijcai.org}, timestamp = {2024-04-10T01:46:17.000+0200}, title = {Verifying Reinforcement Learning up to Infinity.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2021.html#BacciG021}, year = 2021 }