TY  - RPRT
TI  - Explaining Transition Systems through Program Induction
AU  - Svetlin Penkov
AU  - Subramanian Ramamoorthy
PY  - 2017
UR  - https://arxiv.org/abs/1705.08320
ID  - 1705.08320
ER  -