First-Order Game Logic and Modal Mu-Calculus. - Noah Abou El Wafa; André Platzer (CoRR, 2022)

Integrated Rigorous Analysis in Cyber-Physical Systems Engineering (Dagstuhl Seminar 23041). - Erika Ábrahám; Stefan Hallerstede; John Hatcliff; Danielle Stewart; Noah Abou El Wafa (Dagstuhl Reports, 2023)

Complete Game Logic with Sabotage. - Noah Abou El Wafa; André Platzer (LICS, 2024)

Complete First-Order Game Logic. - Noah Abou El Wafa; André Platzer (CoRR, 2025)