Using Quantifier Elimination to Enhance the Safety Assurance of Deep Neural Networks.

Hao Ren Sai Krishnan Chandrasekar Anitha Murugesan

Published in: CoRR (2019)

Keyphrases

quantifier elimination
neural network
constraint propagation
presburger arithmetic
functional programming
constraint databases
cardinality constraints
first order logic
artificial intelligence
software engineering
linear constraints