Picture for Radoslav Ivanov

Radoslav Ivanov

Analyzing Neural Network Robustness Using Graph Curvature

Add code
Oct 25, 2024
Figure 1 for Analyzing Neural Network Robustness Using Graph Curvature
Figure 2 for Analyzing Neural Network Robustness Using Graph Curvature
Figure 3 for Analyzing Neural Network Robustness Using Graph Curvature
Figure 4 for Analyzing Neural Network Robustness Using Graph Curvature
Viaarxiv icon

Data-Driven Modeling and Verification of Perception-Based Autonomous Systems

Add code
Dec 11, 2023
Viaarxiv icon

Imprecise Bayesian Neural Networks

Add code
Feb 19, 2023
Viaarxiv icon

Confidence Composition for Monitors of Verification Assumptions

Add code
Nov 03, 2021
Figure 1 for Confidence Composition for Monitors of Verification Assumptions
Figure 2 for Confidence Composition for Monitors of Verification Assumptions
Viaarxiv icon

ModelGuard: Runtime Validation of Lipschitz-continuous Models

Add code
Apr 30, 2021
Figure 1 for ModelGuard: Runtime Validation of Lipschitz-continuous Models
Figure 2 for ModelGuard: Runtime Validation of Lipschitz-continuous Models
Figure 3 for ModelGuard: Runtime Validation of Lipschitz-continuous Models
Figure 4 for ModelGuard: Runtime Validation of Lipschitz-continuous Models
Viaarxiv icon

Confidence Calibration with Bounded Error Using Transformations

Add code
Feb 25, 2021
Figure 1 for Confidence Calibration with Bounded Error Using Transformations
Figure 2 for Confidence Calibration with Bounded Error Using Transformations
Figure 3 for Confidence Calibration with Bounded Error Using Transformations
Figure 4 for Confidence Calibration with Bounded Error Using Transformations
Viaarxiv icon

VisionGuard: Runtime Detection of Adversarial Inputs to Perception Systems

Add code
Feb 23, 2020
Figure 1 for VisionGuard: Runtime Detection of Adversarial Inputs to Perception Systems
Figure 2 for VisionGuard: Runtime Detection of Adversarial Inputs to Perception Systems
Figure 3 for VisionGuard: Runtime Detection of Adversarial Inputs to Perception Systems
Figure 4 for VisionGuard: Runtime Detection of Adversarial Inputs to Perception Systems
Viaarxiv icon

Case Study: Verifying the Safety of an Autonomous Racing Car with a Neural Network Controller

Add code
Oct 24, 2019
Figure 1 for Case Study: Verifying the Safety of an Autonomous Racing Car with a Neural Network Controller
Figure 2 for Case Study: Verifying the Safety of an Autonomous Racing Car with a Neural Network Controller
Figure 3 for Case Study: Verifying the Safety of an Autonomous Racing Car with a Neural Network Controller
Figure 4 for Case Study: Verifying the Safety of an Autonomous Racing Car with a Neural Network Controller
Viaarxiv icon