GitHub topics: equivalence-oracles
DES-Lab/AALpy
An Automata Learning Library Written in Python
Language: Python - Size: 25.6 MB - Last synced at: 25 days ago - Pushed at: 25 days ago - Stars: 182 - Forks: 29
Related Keywords
alergia
1
automata
1
automata-learning
1
context-free-grammar
1
dfa
1
equivalence-oracles
1
finite-state-machine
1
kv
1
lstar
1
markov-chain
1
markov-decision-processes
1
model-based-testing
1
model-learning
1
model-mining
1
probabilistic-automata
1
pushdown-automata
1
python
1
rpni
1
test-case-generation
1