Mohammadhosein Hasanbeig, Daniel Kroening, Alessandro Abate. Towards Verifiable and Safe Model-Free Reinforcement Learning. In Nicola Gigante, Federico Mari, Andrea Orlandini, editors, Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, co-located with the 18th International Conference of the Italian Association for Artificial Intelligence, OVERLAY@AI*IA 2019, Rende, Italy, November 19-20, 2019. Volume 2509 of CEUR Workshop Proceedings, pages 1, CEUR-WS.org, 2019. [doi]
@inproceedings{HasanbeigKA19, title = {Towards Verifiable and Safe Model-Free Reinforcement Learning}, author = {Mohammadhosein Hasanbeig and Daniel Kroening and Alessandro Abate}, year = {2019}, url = {http://ceur-ws.org/Vol-2509/invited.pdf}, researchr = {https://researchr.org/publication/HasanbeigKA19}, cites = {0}, citedby = {0}, pages = {1}, booktitle = {Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, co-located with the 18th International Conference of the Italian Association for Artificial Intelligence, OVERLAY@AI*IA 2019, Rende, Italy, November 19-20, 2019}, editor = {Nicola Gigante and Federico Mari and Andrea Orlandini}, volume = {2509}, series = {CEUR Workshop Proceedings}, publisher = {CEUR-WS.org}, }