119 citations · 137 across the 4 of their papers we have counts for
3 papers · 1 filter
Search-Based Testing of Reinforcement Learning
Martin Tappler, Filip Cano Córdoba, Bernhard K. Aichernig +1
Evaluation of deep reinforcement learning (RL) is inherently challenging. Especially the opaqueness of learned policies and the stochastic nature of both agents and environments ma…
Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning (Full Version)
Bernhard K. Aichernig, Roderick Bloem, Masoud Ebrahimi +6
Models play an essential role in the design process of cyber-physical systems. They form the basis for simulation and analysis and help in identifying design problems as early as p…
L*-Based Learning of Markov Decision Processes (Extended Version)
Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci +2
Automata learning techniques automatically generate system models from test observations. These techniques usually fall into two categories: passive and active. Passive learning us…