70 citations · 193 across the 16 of their papers we have counts for
4 papers · 1 filter
Specification-Guided Safety Verification for Feedforward Neural Networks
Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson
This paper presents a specification-guided safety verification method for feedforward neural networks with general activation functions. As such feedforward networks are memoryless…
Simulation-Based Reachability Analysis for High-Index Large Linear Differential Algebraic Equations
Hoang-Dung Tran, Weiming Xiang, Nathaniel Hamilton +1
Reachability analysis is a fundamental problem for safety verification and falsification of Cyber-Physical Systems (CPS) whose dynamics follow physical laws usually represented as…
Numerical Verification of Affine Systems with up to a Billion Dimensions
Stanley Bak, Hoang-Dung Tran, Taylor T. Johnson
Affine systems reachability is the basis of many verification methods. With further computation, methods exist to reason about richer models with inputs, nonlinear differential equ…
Reachable Set Estimation and Safety Verification for Piecewise Linear Systems with Neural Network Controllers
Weiming Xiang, Hoang-Dung Tran, Joel A. Rosenfeld +1
In this work, the reachable set estimation and safety verification problems for a class of piecewise linear systems equipped with neural network controllers are addressed. The neur…