4 papers
NNV3: Expanding Neural Network Verification to New Architectures and Domains
Anne M. Tumlin, Samuel Sasaki, Ben Wooding +8
We present NNV3, the latest version of the Neural Network Verification (NNV) tool, a MATLAB framework for formal verification of deep learning models and learning-enabled cyber-phy…
A Geometric Approach to Resilient Distributed Consensus Accounting for State Imprecision and Adversarial Agents
Christopher A. Lee, Waseem Abbas
This paper presents a novel approach for resilient distributed consensus in multiagent networks when dealing with adversarial agents imprecision in states observed by normal agents…
Distributed Design of Controllable and Robust Networks using Zero Forcing and Graph Grammars
Priyanshkumar I. Patel, Johir Suresh, Waseem Abbas
This paper studies the problem of designing networks that are strong structurally controllable, and robust simultaneously. For given network specifications, including the number of…
Resilient Strong Structural Controllability in Networks using Leaky Forcing in Graphs
Waseem Abbas
This paper studies the problem of selecting input nodes (leaders) to make networks strong structurally controllable despite misbehaving nodes and edges. We utilize a graph-based ch…