Hybrid Games with Triggers. - Qais Hamarneh (PhD@IFM, 2024)

It's Safe to Play While Driving: From a Spatial Traffic Logic Towards Traffic Games. - Maike Schwammberger; Qais Hamarneh (AISoLA, 2024)

Trigger-Based Discretization of Hybrid Games for Autonomous Cyber-Physical Systems. - Qais Hamarneh; Maike Schwammberger (HSCC, 2025)