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.