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