Title | Logically-Constrained Neural Fitted Q-Iteration |
Publication Type | Journal Article |
Year of Publication | 2018 |
Authors | Hasanbeig M, Abate A, Kroening D |
Journal | CoRR |
Volume | abs/1809.07823 |
URL | http://arxiv.org/abs/1809.07823 |
C/O Department of Computer Science
Wolfson Building, Parks Rd, Oxford OX1 3QD
T: +44 (0) 18656 10767