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