Conflict-Aware Active Automata Learning

Published in GandALF 2023, 2023

Recommended citation: Tiago Ferreira, Léo Henry, Raquel Fernandes da Silva, and Alexandra Silva. 2023. Conflict-Aware Active Automata Learning. In Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2023). EPTCS 390, 2023, pp. 150-167. doi:10.4204/EPTCS.390.10 /files/pdf/research/2023-c3al.pdf