Popular repositories Loading

1. AALpy AALpy Public

   An Automata Learning Library Written in Python

   Python 167 26

2. Learning-Based-Fuzzing Learning-Based-Fuzzing Public

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

   Java 24 1

3. Extracting-FSM-From-RNNs Extracting-FSM-From-RNNs Public

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

   Python 18 1

4. Automata-Learning-Based-Diagnosis Automata-Learning-Based-Diagnosis Public

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

   Python 7

5. Automata-Learning-meets-Shielding Automata-Learning-meets-Shielding Public

   Shielding RL agent based on model learned by automata learning

   Python 3 1

6. Learning-Environment-Models-with-Continuous-Stochastic-Dynamics Learning-Environment-Models-with-Continuous-Stochastic-Dynamics Public

   Code recquired to reproduce all experiments in "Learning Environment Models with Continuous Stochastic Dynamics - with an Application to Deep RL Testing"

   Python 1