C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Noah Abou El Wafa
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 2
Top Topics
Systems Engineering
Dynamic Logic
Winning Strategy
Proof Procedure
Top Venues
CoRR
Dagstuhl Reports
</>
Publications
</>
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)