Efficient Verification of ReLU-Based Neural Networks via Dependency Analysis.

Elena Botoeva, Panagiotis Kouvaros, Jan Kronqvist, Alessio Lomuscio, Ruth Misener

Browse the full AAAI paper archive.