Denis Osipychev | DeepAI

DeepAI

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

Featured Co-authors

Sanjit A. Seshia
65 publications
Girish Chowdhary
30 publications
Daniel J. Fremont
14 publications
Johnathan Chiu
5 publications
Dragos Margineantu
1 publication
Dragos D. Margineantu
1 publication

research

∙ 01/05/2023

Reinforcement Learning-Based Air Traffic Deconfliction

Remain Well Clear, keeping the aircraft away from hazards by the appropr...

0 Denis Osipychev, et al. ∙

research

∙ 05/14/2020

Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI

We demonstrate a unified approach to rigorous design of safety-critical ...

0 Daniel J. Fremont, et al. ∙