Inverse Abstraction of Neural Networks Using Symbolic Interpolation.

Sumanth Dathathri, Sicun Gao, Richard M. Murray

Browse the full AAAI paper archive.