The Octatope Abstract Domain for Verification of Neural Networks.

Stanley Bak, Taylor Dohmen, K. Subramani, Ashutosh Trivedi, Alvaro Velasquez, Piotr Wojciechowski

Browse the full FM paper archive.