Departmental Papers (CIS)

Date of this Version

7-2021

Document Type

Conference Paper

Comments

International Conference on Computer Aided Verification (CAV 2021), July 18-24, online

Abstract

This paper presents Verisig 2.0, a verification tool for closed-loop systems with neural network (NN) controllers. We focus on NNs with tanh/sigmoid activations and develop a Taylor-model-based reachability algorithm through Taylor model preconditioning and shrink wrapping. Furthermore, we provide a parallelized implementation that allows Verisig 2.0 to efficiently handle larger NNs than existing tools can. We provide an extensive evaluation over 10 benchmarks and compare Verisig 2.0 against three state-of-the-art verification tools. We show that Verisig 2.0 is both more accurate and faster, achieving speed-ups of up to 21x and 268x against different tools, respectively.

Subject Area

CPS Formal Methods

Publication Source

International Conference on Computer Aided Verification (CAV 2021)

Share

COinS
 

Date Posted: 20 October 2021

This document has been peer reviewed.