“…Recent results in falsification have produced a variety of techniques, mature tools, and practical applications, see [3,6] for an overview. Due to the complexity and unclear semantics of Matlab and Simulink models, many previous techniques are entirely black-box and just observe the input/output behavior of the system via simulations, but grey-box approaches have been developed recently [27,1,26] to take some knowledge on the internals of the system into deliberation. This year's falsification competition featured two more tools and participating teams in comparison to the previous year [11] The participating tools 2019 were S-TaLiRo [2], Breach [9], FalStar [28,12], falsify [1], ARIsTEO [23], and zlscheck (based on Zélus [4]), in different configurations (Sec 2).…”