Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees
| Title | Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees |
| Publication Type | Journal Article |
| Year of Publication | 2019 |
| Authors | Hasanbeig M, Kantaros Y, Abate A, Kroening D, Pappas GJ, Lee I |
| Journal | arXiv preprint arXiv:1909.05304 |
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.