All Git Users → DES-Lab

1 open source projects by DES-Lab

[ Open user page on Github ]

An Active Automata Learning Library Written in Python

✭ 60

python Jupyter Notebook automata markov-chain finite-state-machine markov-decision-processes dfa model-based-testing test-case-generation probabilistic-automata automata-learning lstar equivalence-oracles alergia rpni

1-1 of 1 user projects