Abdelrahman Hekal

According to our database, Abdelrahman Hekal authored at least 2 papers between 2022 and 2023.

Collaborative distances:

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

2023

AutoKoopman: A Toolbox for Automated System Identification via Koopman Operator Linearization.

Ethan Lew, Abdelrahman Hekal, Kostiantyn Potomkin, Niklas Kochdumper, Brandon Hencey, Stanley Bak, Sergiy Bogomolov

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

Runtime Assurance for Autonomous Driving with Neural Reachability.

Sergiy Bogomolov, Abdelrahman Hekal, Bardh Hoxha, Tomoya Yamaguchi

Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2022