aalpy (pypi): An active automata learning library
Keywords: alergia|automata|automata-learning|dfa|equivalence-oracles|finite-state-machine|kv|lstar|markov-chain|markov-decision-processes|model-based-testing|probabilistic-automata|rpni|test-case-generation