3 papers
cs.AI2026
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…
cs.CV2025
Probabilistic Robustness Analysis in High Dimensional Space: Application to Semantic Segmentation Network
Navid Hashemi, Samuel Sasaki, Diego Manzanas Lopez +4
Semantic segmentation networks (SSNs) are central to safety-critical applications such as medical imaging and autonomous driving, where robustness under uncertainty is essential. H…
cs.CR2024
Trigger-Based Fragile Model Watermarking for Image Transformation Networks
Preston K. Robinette, Dung T. Nguyen, Samuel Sasaki +1
In fragile watermarking, a sensitive watermark is embedded in an object in a manner such that the watermark breaks upon tampering. This fragile process can be used to ensure the in…