Branch and Bound for Sigmoid-Like Neural Network Verification.

Xiaoyong Xue, Meng Sun

Browse the full ICFEM paper archive.