Title | Logically-Constrained Neural Fitted Q-Iteration |
Publication Type | Conference Paper |
Year of Publication | 2019 |
Authors | Hasanbeig M, Abate A, Kroening D |
Conference Name | Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems |
Publisher | International Foundation for Autonomous Agents and Multiagent Systems |
C/O Department of Computer Science
Wolfson Building, Parks Rd, Oxford OX1 3QD
T: +44 (0) 18656 10767