Extending AALpy with Passive Learning: A Generalized State-Merging Approach.

Benjamin von Berg, Bernhard K. Aichernig

Browse the full CAV paper archive.