Paper accepted at IJCAI’24

We are happy that our paper about an Angluin-style learning of deterministic Büchi and Co-Büchi automata, has been accepted at IJCAI’24.