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…