Viktorio S. el Hakim

According to our database, Viktorio S. el Hakim authored at least 2 papers between 2019 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2020

Dynamics-aware subspace identification for decomposed aggregation in the reachability analysis of hybrid automata.

Viktorio S. el Hakim, Marco Jan Gerrit Bekooij

Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

2019

Reachability Analysis of Hybrid Automata with Clocked Linear Dynamics.

Viktorio S. el Hakim, Marco Jan Gerrit Bekooij

Proceedings of the 22nd International Workshop on Software and Compilers for Embedded Systems, 2019