Login / Signup
Taha Entesari
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 6
Top Topics
Timed Automata
Np Hard
Reachability Analysis
Reduce The Search Space
Top Venues
CoRR
ICRA
L4DC
NeurIPS
</>
Publications
</>
Taha Entesari
,
Sina Sharifi
,
Mahyar Fazlyab
ReachLipBnB: A branch-and-bound method for reachability analysis of neural autonomous systems using Lipschitz bounds.
ICRA
(2023)
Mahyar Fazlyab
,
Taha Entesari
,
Aniket Roy
,
Rama Chellappa
Certified Robustness via Dynamic Margin Maximization and Improved Lipschitz Regularization.
CoRR
(2023)
Taha Entesari
,
Mahyar Fazlyab
Automated Reachability Analysis of Neural Network-Controlled Systems via Adaptive Polytopes.
L4DC
(2023)
Mahyar Fazlyab
,
Taha Entesari
,
Aniket Roy
,
Rama Chellappa
Certified Robustness via Dynamic Margin Maximization and Improved Lipschitz Regularization.
NeurIPS
(2023)
Taha Entesari
,
Mahyar Fazlyab
Automated Reachability Analysis of Neural Network-Controlled Systems via Adaptive Polytopes.
CoRR
(2022)
Taha Entesari
,
Sina Sharifi
,
Mahyar Fazlyab
ReachLipBnB: A branch-and-bound method for reachability analysis of neural autonomous systems using Lipschitz bounds.
CoRR
(2022)