Pinned Loading

1. DES-Lab/AALpy DES-Lab/AALpy Public

   An Automata Learning Library Written in Python

   Python 197 33

2. DES-Lab/Extracting-FSM-From-RNNs DES-Lab/Extracting-FSM-From-RNNs Public

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

   Python 21 3

3. DES-Lab/Learning-Based-Fuzzing DES-Lab/Learning-Based-Fuzzing Public

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

   Java 24

4. DES-Lab/Automata-Learning-Based-Diagnosis DES-Lab/Automata-Learning-Based-Diagnosis Public

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

   Python 7

5. gridworld-gym gridworld-gym Public

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

   Python 4 3

6. nautilus-raw-thumbnails nautilus-raw-thumbnails Public

   Preview RAW files in Nautilus

   Shell 23 6