01:10:37duration 1 hour 10 minutes
ECE/CS 584 CPS, Embedded System Verification,…
ECE/CS 584 CPS, Embedded System Verification, Reluplex
Verifying neural networks