Sampling-Based Resolution-Complete Algorithms for Safety Falsification of Linear Systems

Amit Bhatia, Emilio Frazzoli

In this paper, we describe a novel approach for checking safety specifications of a dynamical system with exogenous inputs over infinite time horizon that is guaranteed to terminat…