An Automata Learning Library Written in Python
python
automata
markov-chain
finite-state-machine
kv
markov-decision-processes
dfa
context-free-grammar
model-based-testing
test-case-generation
probabilistic-automata
automata-learning
pushdown-automata
model-learning
model-mining
lstar
equivalence-oracles
alergia
rpni
-
Updated
Nov 25, 2024 - Python