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.
Maintained by Alexei Lisitsa