11 citations · 11 across the 3 of their papers we have counts for
4 papers
Confidence Composition for Monitors of Verification Assumptions
Ivan Ruchkin, Matthew Cleaveland, Radoslav Ivanov +4
Closed-loop verification of cyber-physical systems with neural network controllers offers strong safety guarantees under certain assumptions. It is, however, difficult to determine…
ModelGuard: Runtime Validation of Lipschitz-continuous Models
Taylor J. Carpenter, Radoslav Ivanov, Insup Lee +1
This paper presents ModelGuard, a sampling-based approach to runtime model validation for Lipschitz-continuous models. Although techniques exist for the validation of many classes…
Real-Time Detectors for Digital and Physical Adversarial Inputs to Perception Systems
Yiannis Kantaros, Taylor Carpenter, Kaustubh Sridhar +3
Deep neural network (DNN) models have proven to be vulnerable to adversarial digital and physical attacks. In this paper, we propose a novel attack- and dataset-agnostic and real-t…
Case Study: Verifying the Safety of an Autonomous Racing Car with a Neural Network Controller
Radoslav Ivanov, Taylor J. Carpenter, James Weimer +3
This paper describes a verification case study on an autonomous racing car with a neural network (NN) controller. Although several verification approaches have been proposed over t…