Seminar ‘Formal Verification of Neural Networks’ – Information for Participants

Chair for Logic and Verification

What you need to hand in

Formal requirements

Peer Reviews