AALpy: An Active Automata Learning Library.

Edi Muskardin, Bernhard K. Aichernig, Ingo Pill, Andrea Pferscher, Martin Tappler

Browse the full ATVA paper archive.