Logically-Constrained Neural Fitted Q-Iteration
| 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 |
GET IN TOUCH WITH US
CONTACT US
Oxford Control and Verification (OXCAV) Group
C/O Department of Computer Science
Wolfson Building, Parks Rd, Oxford OX1 3QD
T: +44 (0) 18656 10767
Education - This is a contributing Drupal Theme
Design by WeebPal.
Design by WeebPal.