Verification Series
What are good-for-games automata good for anyway?
25th June 2019, 11:00
Karoliina Lehtinen
Abstract
In this short talk I will share with you my latest obsession -- good-for-games automata. These automata have the compositional properties of deterministic automata, but can sometimes be exponentially more concise. I will present some of the many open questions around this puzzling class of automata.
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