Conflict-Aware Active Automata Learning

Published in GandALF 2023, 2023

Recommended citation: To be presented at GandALF 2023 in Udine, Italy. Available online soon.