Title: | Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees |
---|---|
Links: | Homepage Document as PDF |
Authors: | Mohammadhosein Hasanbeig |
Yiannis Kantaros | |
Alessandro Abate | |
Daniel Kroening EMail | |
George J. Pappas | |
Insup Lee | |
Remarks: | |
Topics: |
Bibtex:
@inproceedings{hkakpl2019, AUTHOR = { Hasanbeig, Mohammadhosein and Kantaros, Yiannis and Abate, Alessandro and Kroening, Daniel and Pappas, George J. and Lee, Insup }, TITLE = { Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees }, BOOKTITLE = { IEEE Conference on Decision and Control (CDC) }, YEAR = { 2019 }, PAGES = { 5338--5343 }, }
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.