-A A +A

Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees

TitleReinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees
Publication TypeJournal Article
Year of Publication2019
AuthorsHasanbeig M, Kantaros Y, Abate A, Kroening D, Pappas GJ, Lee I
JournalarXiv preprint arXiv:1909.05304

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.