Login / Signup
Viktorio S. el Hakim
Publication Activity (10 Years)
Years Active: 2019-2020
Publications (10 Years): 2
Top Topics
Dynamical Systems
Reachability Analysis
Low Dimensional
State Space
Top Venues
HSCC
SCOPES
</>
Publications
</>
Viktorio S. el Hakim
,
Marco Jan Gerrit Bekooij
Dynamics-aware subspace identification for decomposed aggregation in the reachability analysis of hybrid automata.
HSCC
(2020)
Viktorio S. el Hakim
,
Marco Jan Gerrit Bekooij
Reachability Analysis of Hybrid Automata with Clocked Linear Dynamics.
SCOPES
(2019)