S. Dathathri, S. Gao, and R. M. Murray, “Inverse Abstraction of Neural Networks Using Symbolic Interpolation”, AAAI, vol. 33, no. 01, pp. 3437-3444, Jul. 2019.