Formal methods and software engineering for DL. Security, safety and productivity for DL systems development
Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks