Locally optimal reach set over-approximation for nonlinear systems
EMSOFT, pp. 6:1-6:10, 2016.
Safety verification of embedded systems modeled as hybrid systems can be scaled up by employing simulation-guided reach set over-approximation techniques. Existing methods are either applicable to only restricted classes of systems, overly conservative, or computationally expensive. We present new techniques to compute a locally optimal b...More
Full Text (Upload PDF)
PPT (Upload PPT)