Explanatory Games Mar 31, 2019 Using internal symbolic, explanatory representations to robustly monitor agents.