PinnedLoading

1. DES-Lab/AALpyDES-Lab/AALpyPublic

   An Automata Learning Library Written in Python

   Python 199 34

2. DES-Lab/Extracting-FSM-From-RNNsDES-Lab/Extracting-FSM-From-RNNsPublic

   Black-box extraction of Finite-State Machines from RNNs.

   Python 21 3

3. DES-Lab/Learning-Based-FuzzingDES-Lab/Learning-Based-FuzzingPublic

   Using automata learning to mine models used for fuzzing of statefull systems

   Java 24

4. DES-Lab/Automata-Learning-Based-DiagnosisDES-Lab/Automata-Learning-Based-DiagnosisPublic

   Enabling Model-Based Diagnosis and Failure Model Generation with Active Automata Learning

   Python 7

5. gridworld-gymgridworld-gymPublic

   Scallable partially observable and/or non-Markovian gridworld for planning or reinforcement learning

   Python 4 3

6. nautilus-raw-thumbnailsnautilus-raw-thumbnailsPublic

   Preview RAW files in Nautilus

   Shell 26 6