conftrace_

equivalence queries

4 papers

Explore in graph

Co-occurring keywords · papers mentioning both

membership queries (3) equivalence query (3) regular language (2) membership query (2) query learning (2) multiplicity tree automata (1) büchi automata (1) deterministic automata (1) omega-regular language (1) monotone dnf (1)

Papers

Angluin-Style Learning of Deterministic Büchi and Co-Büchi Automata IJCAI 2024 Bounds in query learning COLT 2020 Complexity of Equivalence and Learning for Multiplicity Tree Automata JMLR 2015 Learning Monotone DNF from a Teacher that Almost Does Not Answer Membership Queries JMLR 2002