Qais Hamarneh

According to our database¹, Qais Hamarneh authored at least 3 papers between 2024 and 2025.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2025

Trigger-Based Discretization of Hybrid Games for Autonomous Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the 28th ACM International Conference on Hybrid Systems: Computation and Control, 2025

2024

It's Safe to Play While Driving: From a Spatial Traffic Logic Towards Traffic Games.

[BibT_eX]

[DOI]

Proceedings of the Bridging the Gap Between AI and Reality, 2024

Hybrid Games with Triggers.

[BibT_eX]

[DOI]

Proceedings of the PhD Symposium at the 19th International Conference on integrated Formal Methods in Manchester 2024 (iFM 2024), 2024