PAPERS

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.