Devesh Bhatt | DeepAI

DeepAI

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

Featured Co-authors

Gopal Gupta
33 publications
Kinjal Basu
28 publications
Minyoung Kim
23 publications
Fang Li
17 publications
Hao Ren
13 publications
Joaquín Arias
11 publications
Sarat Chandra Varanasi
9 publications
Elmer Salazar
6 publications
Natarajan Shankar
6 publications
Huascar Sanchez
3 publications
Michael Ernst
3 publications

research

∙ 03/29/2022

DesCert: Design for Certification

The goal of the DARPA Automated Rapid Certification Of Software (ARCOS) ...

0 Natarajan Shankar, et al. ∙

research

∙ 09/10/2021

Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming

We consider requirements for cyber-physical systems represented in const...

0 Brendan Hall, et al. ∙