Open AccessLearning Residual Alternating Automata
Author(s) -
Sebastian Berndt,
Maciej Liśkiewicz,
Matthias Lutter,
Rüdiger Reischuk
Publication year - 2017
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - Uncategorized
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v31i1.10891
Subject(s) - succinctness , residual , counterexample , automaton , conjecture , computer science , extension (predicate logic) , mathematics , algorithm , discrete mathematics , theoretical computer science , programming language