3 citations · 5 across the 2 of their papers we have counts for
2 papers
cs.LG2017★ 3 cited
Learning Pairwise Disjoint Simple Languages from Positive Examples
Alexis Linard, Rick Smetsers, Frits Vaandrager +3
A classical problem in grammatical inference is to identify a deterministic finite automaton (DFA) from a set of positive and negative examples. In this paper, we address the relat…
cs.FL2017★ 2 cited
Grammatical Inference as a Satisfiability Modulo Theories Problem
Rick Smetsers
The problem of learning a minimal consistent model from a set of labeled sequences of symbols is addressed from a satisfiability modulo theories perspective. We present two encodin…