Popular repositories Loading

1. CBF_TB_RRT CBF_TB_RRT Public

   MATLAB 7 3

2. NNRepLayer NNRepLayer Public

   Safe Robot Learning in Assistive Devices through Neural Network Repair

   Python 3

3. NNRepLayer_2 NNRepLayer_2 Public

   Forked from DaitTan/NNRepLayer

   Jupyter Notebook 2

4. shapely shapely Public

   Forked from shapely/shapely

   Manipulation and analysis of geometric objects

   Python

5. REASSURE REASSURE Public

   Forked from BU-DEPEND-Lab/REASSURE

   Neural Network Repair

   PureBasic

6. MIPVerify.jl MIPVerify.jl Public

   Forked from vtjeng/MIPVerify.jl

   Evaluating Robustness of Neural Networks with Mixed Integer Programming

   Julia