Media type: E-Article Title: Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification : Shield Synthesis for Safe Reinforcement Learning : Shield Synthesis for Safe Reinforcement Learning Contributor: Bloem, Roderick imprint: Open Publishing Association, 2021 Published in: Electronic Proceedings in Theoretical Computer Science Language: English DOI: 10.4204/eptcs.346.0.4 ISSN: 2075-2180 Keywords: General Earth and Planetary Sciences ; General Engineering ; General Environmental Science Origination: Footnote: Access State: Open Access