| Title: | Cautious Reinforcement Learning with Logical Constraints |
|---|---|
| Links: | Homepage Document as PDF |
| Authors: | Mohammadhosein Hasanbeig |
| Alessandro Abate | |
| Daniel Kroening EMail | |
| Remarks: | |
| Topics: |
Bibtex:
@inproceedings{hak2020,
AUTHOR = { Hasanbeig, Mohammadhosein
and Abate, Alessandro
and Kroening, Daniel },
TITLE = { Cautious Reinforcement Learning with Logical Constraints },
BOOKTITLE = { Autonomous Agents and Multiagent Systems (AAMAS 2020) },
YEAR = { 2020 },
PUBLISHER = { International Foundation for Autonomous Agents and Multiagent Systems },
PAGES = { 483--491 },
ISBN = { 978-1-4503-7518-4 },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.