Publications

Raquel Fernandes da Silva (2024). Specification Mining with Active Automata Learning. Master’s Thesis.

Tiago Ferreira, Léo Henry, Raquel Fernandes da Silva, Alexandra Silva (2023). Conflict-Aware Active Automata Learning. In GandALF 2023.