Verification Series
Parity Games played on Temporal Graphs
11th January 2024, 11:00
![]()
Pete Austin
Additional Materials
School of Computer Science & Informatics
,
University of Liverpool
Ashton Street, Liverpool, L69 3BX
United Kingdom
Ashton Street, Liverpool, L69 3BX
United Kingdom
+44 (0)151 795 4275
Call the school
+44 (0)151 795 4275