Safety Verification for Deep Neural Networks with Provable Guarantees (Invited Paper).

Marta Z. Kwiatkowska

Browse the full CONCUR paper archive.