Picture for Taylor J. Carpenter

Taylor J. Carpenter

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

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