Search for tag: "acas"

Thumbnail for entry ECE/CS 584 CPS, Embedded System Verification, Reluplex

ECE/CS 584 CPS, Embedded System Verification,…

duration 1 hour 10 minutes

ECE/CS 584 CPS, Embedded System Verification,…

ECE/CS 584 CPS, Embedded System Verification, Reluplex

ECE/CS 584 CPS, Embedded System Verification, Reluplex

Verifying neural networks

neural networks
reluplex
collision avoidance
acas
From  Sayan Mitra 12 plays 0  
Date of creation
9/16/2021 12:00 AM
Video credits
Sayan Mitra
Contributors and team members
Sayan Mitra