Mohammadhosein Hasanbeig, Alessandro Abate, Daniel Kroening. Logically-Constrained Neural Fitted Q-iteration. In Edith Elkind, Manuela Veloso, Noa Agmon, Matthew E. Taylor, editors, Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS '19, Montreal, QC, Canada, May 13-17, 2019. pages 2012-2014, International Foundation for Autonomous Agents and Multiagent Systems, 2019. [doi]
@inproceedings{HasanbeigAK19, title = {Logically-Constrained Neural Fitted Q-iteration}, author = {Mohammadhosein Hasanbeig and Alessandro Abate and Daniel Kroening}, year = {2019}, url = {http://dl.acm.org/citation.cfm?id=3331994}, researchr = {https://researchr.org/publication/HasanbeigAK19}, cites = {0}, citedby = {0}, pages = {2012-2014}, booktitle = {Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS '19, Montreal, QC, Canada, May 13-17, 2019}, editor = {Edith Elkind and Manuela Veloso and Noa Agmon and Matthew E. Taylor}, publisher = {International Foundation for Autonomous Agents and Multiagent Systems}, isbn = {978-1-4503-6309-9}, }