| Title: | Shielding Atari Games with Bounded Prescience |
|---|---|
| Links: | Document as PDF |
| Authors: | Mirco Giacobbe |
| Mohammadhosein Hasanbeig | |
| Daniel Kroening EMail | |
| Hjalmar Wijk | |
| Remarks: | |
| Topics: |
Bibtex:
@inproceedings{ghkw2021,
AUTHOR = { Giacobbe, Mirco
and Hasanbeig, Mohammadhosein
and Kroening, Daniel
and Wijk, Hjalmar },
TITLE = { Shielding {Atari} Games with Bounded Prescience },
BOOKTITLE = { Autonomous Agents and Multiagent Systems (AAMAS) },
YEAR = { 2021 },
PAGES = { 1507--1509 },
ISBN = { 9781450383073 },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.