About
This toolbox is developed by the Intelligent Control Lab at the Robotics Institute at Carnegie Mellon University. It is an extension of the NeuralVerification.jl.
Credit
Developers
- Changliu Liu, Carnegie Mellon University
- Tianhao Wei, Carnegie Mellon University
Contributors
- Luca Marzari, Carnegie Mellon University
- Kai Yun, Carnegie Mellon University