91 citations · 426 across the 30 of their papers we have counts for
8 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…
Verification for Machine Learning, Autonomy, and Neural Networks Survey
Weiming Xiang, Patrick Musau, Ayana A. Wild +5
This survey presents an overview of verification techniques for autonomous systems, with a focus on safety-critical autonomous cyber-physical systems (CPS) and subcomponents thereo…
Cyber-Physical Specification Mismatches
Luan V. Nguyen, Khaza Anuarul Hoque, Stanley Bak +2
Embedded systems use increasingly complex software and are evolving into cyber-physical systems (CPS) with sophisticated interaction and coupling between physical and computational…
Reachability Analysis and Safety Verification for Neural Network Control Systems
Weiming Xiang, Taylor T. Johnson
Autonomous cyber-physical systems (CPS) rely on the correct operation of numerous components, with state-of-the-art methods relying on machine learning (ML) and artificial intellig…
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…
Reachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic Systems
Weiming Xiang, Diego Manzanas Lopez, Patrick Musau +1
Neural networks have been widely used to solve complex real-world problems. Due to the complicate, nonlinear, non-convex nature of neural networks, formal safety guarantees for the…