Aurora Schmidt | DeepAI

DeepAI

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

Featured Co-authors

Joshua Brulé
7 publications
Daniel Genin
3 publications
Ivan Papusha
2 publications
Yanni Kouskoulas
2 publications
T. J. Machado
1 publication
Rosa Wu
1 publication

research

∙ 05/10/2022

Envelopes and Waves: Safe Multivehicle Collision Avoidance for Horizontal Non-deterministic Turns

We present an approach to analyzing the safety of asynchronous, independ...

0 Yanni Kouskoulas, et al. ∙

research

∙ 08/03/2020

Incorrect by Construction: Fine Tuning Neural Networks for Guaranteed Performance on Finite Sets of Examples

There is great interest in using formal methods to guarantee the reliabi...

0 Ivan Papusha, et al. ∙