TY  - RPRT
TI  - Shielding Atari Games with Bounded Prescience
AU  - Mirco Giacobbe
AU  - Mohammadhosein Hasanbeig
AU  - Daniel Kroening
AU  - Hjalmar Wijk
PY  - 2021
UR  - https://arxiv.org/abs/2101.08153
ID  - 2101.08153
ER  -