5 citations · 10 across the 4 of their papers we have counts for
4 papers
RFSeek and Ye Shall Find
Noga H. Rotman, Tiago Ferreira, Hila Peleg +2
Requests for Comments (RFCs) are extensive specification documents for network protocols, but their prose-based format and their considerable length often impede precise operationa…
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…
Conflict-Aware Active Automata Learning (Extended Version)
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…