Verification Series

What are good-for-games automata good for anyway?

25th June 2019, 11:00 add to calender
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.
add to calender (including abstract)