Taha Entesari | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Mahyar Fazlyab
15 publications
Sina Sharifi
1 publication

research

∙ 12/14/2022

Automated Reachability Analysis of Neural Network-Controlled Systems via Adaptive Polytopes

Over-approximating the reachable sets of dynamical systems is a fundamen...

0 Taha Entesari, et al. ∙

research

∙ 11/01/2022

ReachLipBnB: A branch-and-bound method for reachability analysis of neural autonomous systems using Lipschitz bounds

We propose a novel Branch-and-Bound method for reachability analysis of ...

2 Taha Entesari, et al. ∙