119 citations · 468 across the 38 of their papers we have counts for
1 paper · 2 filters
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…