Agenda

20
Feb

Universality of Büchi Automata by Graph Neural Networks

General public Thesis defense