37 citations · 57 across the 8 of their papers we have counts for
3 papers · 1 filter
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…
Confidence Calibration with Bounded Error Using Transformations
Sooyong Jang, Radoslav Ivanov, Insup Lee +1
As machine learning techniques become widely adopted in new domains, especially in safety-critical systems such as autonomous vehicles, it is crucial to provide accurate output unc…