119 citations · 468 across the 38 of their papers we have counts for
3 papers · 1 filter
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…
The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results
Swen Jacobs, Roderick Bloem, Maximilien Colange +11
We report on the fifth reactive synthesis competition (SYNTCOMP 2018). We introduce four new benchmark classes that have been added to the SYNTCOMP library, and briefly describe th…
Model-Based Testing IoT Communication via Active Automata Learning
Martin Tappler, Bernhard K. Aichernig, Roderick Bloem
This paper presents a learning-based approach to detecting failures in reactive systems. The technique is based on inferring models of multiple implementations of a common specific…