TY - RPRT TI - Using Program Induction to Interpret Transition System Dynamics AU - Svetlin Penkov AU - Subramanian Ramamoorthy PY - 2017 UR - https://arxiv.org/abs/1708.00376 ID - 1708.00376 ER -