9 citations · 13 across the 4 of their papers we have counts for
1 paper · 1 filter
Tiago Ferreira, Kevin Batz, Alexandra Silva
We present an SMT-based active learning algorithm for nondeterministic weighted automata (WFAs) as a practical and robust alternative to Hankel/L*-style methods. Our algorithm is p…