Skip to content

Author

Tiago Ferreira

1 paper indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#machine learning Conference May 2026

SMT-Based Active Learning of Weighted Automata

An SMT-based active learning algorithm for nondeterministic weighted automata (WFAs) as a practical and robust alternative to Hankel/L*-style methods and is capable of learning numerous minimal WFAs over both finite and infinite semirings.

Tiago Ferreira, Kevin Batz, Alexandra Silva · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.