Popular repositoriesLoading

1. AALpyAALpyPublic

   An Automata Learning Library Written in Python

   Python 199 34

2. Learning-Based-FuzzingLearning-Based-FuzzingPublic

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

   Java 24

3. Extracting-FSM-From-RNNsExtracting-FSM-From-RNNsPublic

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

   Python 21 3

4. Automata-Learning-Based-DiagnosisAutomata-Learning-Based-DiagnosisPublic

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

   Python 7

5. Automata-Learning-meets-ShieldingAutomata-Learning-meets-ShieldingPublic

   Shielding RL agent based on model learned by automata learning

   Python 3 1

6. Learning-Environment-Models-with-Continuous-Stochastic-DynamicsLearning-Environment-Models-with-Continuous-Stochastic-DynamicsPublic

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

   Python 3 1