-
๐ผ Research Scientist at the VeriVITAL group at Vanderbilt University.
-
๐ Over 20 publications
-
๐คต Developer of the open source Neural Network Verification Tool, NNV
-
โค๏ธ Python, MATLAB and tennis
mldiego / cora Goto Github PK
View Code? Open in Web Editor NEWThis project forked from tumcps/cora
Toolbox for Reachability Analysis
License: GNU General Public License v3.0