TY - RPRT TI - Extending AALpy with Passive Learning: A Generalized State-Merging Approach AU - Benjamin von Berg AU - Bernhard K. Aichernig PY - 2025 UR - https://arxiv.org/abs/2506.06333 ID - 2506.06333 ER -