Exploring Behaviors of Hybrid Systems via the Voronoi Bias over Output Signals

Gidon Ernst, Jiří Fejlek

In this paper, we consider an analysis of temporal properties of hybrid systems based on simulations, so-called falsification of requirements. We present a novel exploration-based…