DeepAbstract: Neural Network Abstraction for Accelerating Verification.

Pranav Ashok, Vahid Hashemi, Jan Kretnsk, Stefanie Mohr

Browse the full ATVA paper archive.