Efficient Neural Network Analysis with Sum-of-Infeasibilities.

Haoze Wu, Aleksandar Zeljic, Guy Katz, Clark W. Barrett

Browse the full TACAS paper archive.