Mahyar Fazlyab
Johns Hopkins University
H-index: 16
North America-United States
Top articles of Mahyar Fazlyab
Gradient-Regularized Out-of-Distribution Detection
arXiv preprint arXiv:2404.12368
2024/4/18
Bardia Safaei
H-Index: 6
Mahyar Fazlyab
H-Index: 10
Actor-Critic Physics-informed Neural Lyapunov Control
arXiv preprint arXiv:2403.08448
2024/3/13
Jiarui Wang
H-Index: 4
Mahyar Fazlyab
H-Index: 10
Verification-Aided Learning of Neural Network Barrier Functions with Termination Guarantees
arXiv preprint arXiv:2403.07308
2024/3/12
Shaoru Chen
H-Index: 3
Mahyar Fazlyab
H-Index: 10
Certified Robustness via Dynamic Margin Maximization and Improved Lipschitz Regularization
Advances in Neural Information Processing Systems
2024/2/13
Learning Performance-Oriented Control Barrier Functions Under Complex Safety Constraints and Limited Actuation
arXiv preprint arXiv:2401.05629
2024/1/11
Shaoru Chen
H-Index: 3
Mahyar Fazlyab
H-Index: 10
Certified Invertibility in Neural Networks via Mixed-Integer Programming
2023/6/6
Manfred Morari
H-Index: 73
Mahyar Fazlyab
H-Index: 10
Automated reachability analysis of neural network-controlled systems via adaptive polytopes
2023/6/6
Mahyar Fazlyab
H-Index: 10
ReachLipBnB: A branch-and-bound method for reachability analysis of neural autonomous systems using Lipschitz bounds
2023/5/29
Mahyar Fazlyab
H-Index: 10
One-shot reachability analysis of neural network dynamical systems
2023/5/29
Shaoru Chen
H-Index: 3
Mahyar Fazlyab
H-Index: 10
Deepsplit: Scalable verification of deep neural networks via operator splitting
IEEE Open Journal of Control Systems
2022/6/30
Safety verification and robustness analysis of neural networks via quadratic constraints and semidefinite programming
2019/12/12
On centralized and distributed mirror descent: Convergence analysis using quadratic constraints
IEEE Transactions on Automatic Control
2022/12/20
Mahyar Fazlyab
H-Index: 10
Semidefinite relaxations of truncated least-squares in robust rotation search: Tight or not
2022/10/23
Mahyar Fazlyab
H-Index: 10
Towards understanding the semidefinite relaxations of truncated least-squares in robust rotation search
arXiv preprint arXiv:2207.08350
2022/7/18
Mahyar Fazlyab
H-Index: 10
An introduction to neural network analysis via semidefinite programming
2021/12/14
Mahyar Fazlyab
H-Index: 10
Manfred Morari
H-Index: 73
Learning region of attraction for nonlinear systems
2021/12/14
Certifying incremental quadratic constraints for neural networks via convex optimization
2021/5/29
Mahyar Fazlyab
H-Index: 10
Performance bounds for neural network estimators: Applications in fault detection
2021/5/25
Mahyar Fazlyab
H-Index: 10
Learning lyapunov functions for hybrid systems
2021/5/19
Stability analysis of complementarity systems with neural network controllers
2021/5/19