conftrace_

pre-image computation

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

symbolic interpolation (1) neural network abstraction (1) formal analysis (1) interpretable control law (1) symbolic abstraction (1) neural network verification (1)

Papers

Inverse Abstraction of Neural Networks Using Symbolic Interpolation AAAI 2019