HongchaoZhang-HZ / exactverif-reluncbf-nips23

Exact Verification of ReLU Neural Control Barrier Functions
9Updated last year

Alternatives and similar repositories for exactverif-reluncbf-nips23:

Users that are interested in exactverif-reluncbf-nips23 are comparing it to the libraries listed below