-A A +A

Logically-Constrained Neural Fitted Q-Iteration

TitleLogically-Constrained Neural Fitted Q-Iteration
Publication TypeConference Paper
Year of Publication2019
AuthorsHasanbeig M, Abate A, Kroening D
Conference NameProceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems
PublisherInternational Foundation for Autonomous Agents and Multiagent Systems


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.