AALpy
AALpy copied to clipboard
DES-Lab
An Automata Learning Library Written in Python
```python from aalpy.SULs import MdpSUL from aalpy.automata import Mdp, MdpState from aalpy.learning_algs import run_stochastic_Lstar from aalpy.oracles import RandomWordEqOracle states = [] for i in range(13): # curr_output = state_outputs.pop(0) if...
Hi there, after issue #22 I thought an easy way of preventing pushing such errors to pypi would be to automatically run the unittests on every commit. This can either...
Current Idea: - everything except DFAs as a string - add a cast function in utils, which can take a model and return a model where inputs/outputs that are int...
The method `to_state_setup()` of multiple automata types (DFA, Mealy, Moore) fails when the automaton contains an unreachable state (i.e. the state's prefix is `None` - not an empty tuple!). This...
