Noah Abou El Wafa

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 4

Top Topics

Nash Equilibrium

Systems Engineering

Top Venues

Dagstuhl Reports

Publications

Noah Abou El Wafa, André Platzer
Complete Game Logic with Sabotage. CoRR (2024)
Noah Abou El Wafa, André Platzer
Complete Game Logic with Sabotage. LICS (2024)
Erika Ábrahám, Stefan Hallerstede, John Hatcliff, Danielle Stewart, Noah Abou El Wafa
Integrated Rigorous Analysis in Cyber-Physical Systems Engineering (Dagstuhl Seminar 23041). Dagstuhl Reports 13 (1) (2023)
Noah Abou El Wafa, André Platzer
First-Order Game Logic and Modal Mu-Calculus. CoRR (2022)