Beast code in Giters

Martin Tappler's repositories

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

Language:JavaGPL-3.014 20

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

Language:PythonMIT3 20

An approach to learning timed automata using SMT soving

Language:JavaMIT3 10

Testing strategy inference for stochastic systems

Language:JavaGPL-3.01 10

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

Language:PythonMIT100