Taylor J. Carpenter | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

George J. Pappas
86 publications
Insup Lee
46 publications
James Weimer
18 publications
Rajeev Alur
17 publications
Radoslav Ivanov
7 publications

research

∙ 04/30/2021

ModelGuard: Runtime Validation of Lipschitz-continuous Models

This paper presents ModelGuard, a sampling-based approach to runtime mod...

0 Taylor J. Carpenter, et al. ∙

research

∙ 10/24/2019

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

This paper describes a verification case study on an autonomous racing c...

0 Radoslav Ivanov, et al. ∙