Conflict-Aware Active Automata Learning Published in GandALF 2023, 2023 Recommended citation: To be presented at GandALF 2023 in Udine, Italy. Available online soon. Share on Twitter Facebook LinkedIn Previous Next