conftrace_

omega automaton

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

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

Papers

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