Popular repositories Loading

1. mut-learn mut-learn Public

   Mutation-based implementation of a random equivalence testing strategy for active automata learning

   Java 15 5

2. smt-ta-learning smt-ta-learning Public

   An approach to learning timed automata using SMT soving

   Java 4

3. dlbt-smb-rl dlbt-smb-rl Public

   Differential Learning-Based Testing of Deep RL Agents Playing Super Mario Bros.

   Python 4

4. prob-black-reach prob-black-reach Public

   Testing strategy inference for stochastic systems

   Java 3 1

5. smb-rl-testing-metrics smb-rl-testing-metrics Public

   Experiments on metrics for RL testing - A case study on testing deep RL playing Super Mario Bros.

   Python 2