Fazlyab, Mahyar
12 publications
L4DC
2023
Automated Reachability Analysis of Neural Network-Controlled Systems via Adaptive Polytopes
NeurIPS
2023
Certified Robustness via Dynamic Margin Maximization and Improved Lipschitz Regularization
12 publications