Explaining Transition Systems through Program Induction
Generating Visual Explanations