Login / Signup
Sina Sharifi
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 2
Top Topics
Np Hard
Timed Automata
Autonomous Systems
Reduce The Search Space
Top Venues
ICRA
CoRR
</>
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)
Taha Entesari
,
Sina Sharifi
,
Mahyar Fazlyab
ReachLipBnB: A branch-and-bound method for reachability analysis of neural autonomous systems using Lipschitz bounds.
CoRR
(2022)