ReachLipBnB: A branch-and-bound method for reachability analysis of neural autonomous systems using Lipschitz bounds T Entesari, S Sharifi, M Fazlyab 2023 IEEE International Conference on Robotics and Automation (ICRA), 1003-1010, 2023 | 8 | 2023 |
Certified robustness via dynamic margin maximization and improved lipschitz regularization M Fazlyab, T Entesari, A Roy, R Chellappa Advances in Neural Information Processing Systems 36, 2024 | 5 | 2024 |
Automated reachability analysis of neural network-controlled systems via adaptive polytopes T Entesari, M Fazlyab Learning for Dynamics and Control Conference, 407-419, 2023 | 4 | 2023 |
Gradient-Regularized Out-of-Distribution Detection S Sharifi, T Entesari, B Safaei, VM Patel, M Fazlyab arXiv preprint arXiv:2404.12368, 2024 | 1 | 2024 |
Compositional Curvature Bounds for Deep Neural Networks T Entesari, S Sharifi, M Fazlyab arXiv preprint arXiv:2406.05119, 2024 | | 2024 |