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

Benjamin von Berg, Bernhard K. Aichernig

AALpy is a well-established open-source automata learning library written in Python with a focus on active learning of systems with IO behavior. It provides a wide range of state-o…