activity
20192021
most citedCase Study: Verifying the Safety of an Autonomous Racing Car with a Neural Network Controller

11 citations · 11 across the 3 of their papers we have counts for

collaborators
Showing 2021Show all

2 papers · 1 filter

cs.LO2021

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…

eess.SY2021

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…