Följ
Abdelrahman Hekal
Abdelrahman Hekal
PhD researcher, Newcastle University
Verifierad e-postadress på newcastle.ac.uk
Titel
Citeras av
Citeras av
År
Autokoopman: A toolbox for automated system identification via koopman operator linearization
E Lew, A Hekal, K Potomkin, N Kochdumper, B Hencey, S Bak, ...
International Symposium on Automated Technology for Verification and …, 2023
82023
Falsification using Reachability of Surrogate Koopman Models
S Bak, S Bogomolov, A Hekal, N Kochdumper, E Lew, A Mata, A Rahmati
Proceedings of the 27th ACM International Conference on Hybrid Systems …, 2024
72024
ARCH-COMP 2024 Category Report: Falsification
T Khandait, F Formica, P Arcaini, S Chotaliya, G Fainekos, A Hekal, ...
Proceedings of the 11th Int. Workshop on Applied 103, 122-144, 2024
32024
Runtime Assurance for Autonomous Driving with Neural Reachability
S Bogomolov, A Hekal, B Hoxha, T Yamaguchi
2022 IEEE 25th International Conference on Intelligent Transportation …, 2022
12022
Zero-One Attack: Degrading Closed-Loop Neural Network Control Systems using State-Time Perturbations
S Bak, S Bogomolov, A Hekal, V Krish, A Mata, A Rahmati
2024 ACM/IEEE 15th International Conference on Cyber-Physical Systems (ICCPS …, 2024
2024
Systems and methods for online monitoring using a neural model by an automated vehicle
B Hoxha, T Yamaguchi, A Hekal, S Bogomolov
US Patent App. 17/945,253, 2024
2024
Search code, repositories, users, issues, pull requests...
E Lew, A Hekal, K Potomkin, N Kochdumper, B Hencey, S Bak, ...
organization, 2023
2023
Fast Koopman Surrogate Falsification using Linear Relaxations and Weights
S Bak, A Hekal, N Kochdumper, E Lew, A Mata, A Rahmati
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–8