Combined Global and Local Search for the Falsification of Hybrid Systems

Jan Kuřátko, Stefan Ratschan

In this paper we solve the problem of finding a trajectory that shows that a given hybrid dynamical system with deterministic evolution leaves a given set of states considered to b…