Skip to content
conftrace_

omega-regular language

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

büchi automata (1) deterministic automata (1) equivalence queries (1) regular language (1) automaton learning (1) omega automaton (1) buchi automaton (1) equivalence query (1) automata learning (1)

Papers

Angluin-Style Learning of Deterministic Büchi and Co-Büchi Automata IJCAI 2024