33 citations · 47 across the 10 of their papers we have counts for
4 papers · 1 filter
SMT-Based Active Learning of Weighted Automata
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…
Conflict-Aware Active Automata Learning
Tiago Ferreira, Léo Henry, Raquel Fernandes da Silva +1
Active automata learning algorithms cannot easily handle conflict in the observation data (different outputs observed for the same inputs). This inherent inability to recover after…
Tree-Based Adaptive Model Learning
Tiago Ferreira, Gerco van Heerdt, Alexandra Silva
We extend the Kearns-Vazirani learning algorithm to be able to handle systems that change over time. We present a new learning algorithm that can reuse and update previously learne…
Symbolic Register Automata
Loris D'Antoni, Tiago Ferreira, Matteo Sammartino +1
Symbolic Finite Automata and Register Automata are two orthogonal extensions of finite automata motivated by real-world problems where data may have unbounded domains. These automa…