PAPERS

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.