-
๐ผ 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 / inverted-pendulum Goto Github PK
View Code? Open in Web Editor NEWModeling and simulation of various types of a closed-loop inverted pendulum system