| Title: | Logically-Constrained Neural Fitted Q-iteration |
|---|---|
| Links: | Homepage |
| Authors: | Hosein Hasanbeig |
| Alessandro Abate | |
| Daniel Kroening EMail | |
| Remarks: | |
| Topics: |
Bibtex:
@inproceedings{hak2019,
AUTHOR = { Hasanbeig, Hosein
and Abate, Alessandro
and Kroening, Daniel },
TITLE = { Logically-Constrained Neural Fitted {Q}-iteration },
BOOKTITLE = { Autonomous Agents and Multiagent Systems (AAMAS 2019) },
YEAR = { 2019 },
PUBLISHER = { International Foundation for Autonomous Agents and Multiagent Systems },
PAGES = { 2012--2014 },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.