conftrace_

symbolic interpolation

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

neural network abstraction (1) pre-image computation (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