Explanatory Games

Using internal symbolic, explanatory representations to robustly monitor agents.