<ul><li>AALpy, an open-source automata learning library in Python, has added a generalized state-merging approach for passive learning.</li><li>The library offers advanced algorithms for different automaton types, including deterministic and probabilistic automata.</li><li>The new addition allows for a flexible implementation of the red-blue framework by using a common internal representation for various automaton types.</li><li>Implementing state-merging algorithms with AALpy is simplified, requiring minimal effort for defining compatibility criteria and scoring.</li></ul>

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

Discover more