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]