Skip to content
conftrace_

büchi automata

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

deterministic automata (1) omega-regular language (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