- ๐ Hi, Iโm @chelseas
- ๐ Iโm interested in the intersection of robotic planning and control, machine learning, and formal methods.
- ๐๏ธ Iโm looking to collaborate on applications with environmental impact and/or assistive technology with human impact.
- ๐ซ How to reach me: [email protected]
chelseas / nnv Goto Github PK
View Code? Open in Web Editor NEWThis project forked from verivital/nnv
Maltab Toolbox For Neural Network Verification