-A A +A

Modular Deep Reinforcement Learning with Temporal Logic Specifications

TitleModular Deep Reinforcement Learning with Temporal Logic Specifications
Publication TypeJournal Article
Year of Publication2019
AuthorsYuan LZun, Hasanbeig M, Abate A, Kroening D
JournalarXiv preprint arXiv:1909.11591

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.