Neural Network Verification with Reluplex

Practical Lab · Master

Winter Term 2020/2021

Teachers: Erika Ábrahám, Jasper Nalbach