| 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.