TY - RPRT TI - Guarded Deep Learning using Scenario-Based Modeling AU - Guy Katz PY - 2020 UR - https://arxiv.org/abs/2006.03863 ID - 2006.03863 ER -