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 |
C/O Department of Computer Science
Wolfson Building, Parks Rd, Oxford OX1 3QD
T: +44 (0) 18656 10767