Timothy Zhang | DeepAI

DeepAI

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

Featured Co-authors

Radu Grosu
47 publications
Scott A. Smolka
20 publications
Scott D. Stoller
20 publications
Nicola Paoletti
16 publications
C. R. Ramakrishnan
7 publications
Dung Phan
3 publications
Arun Nampally
2 publications

research

∙ 07/26/2018

Neural State Classification for Hybrid Systems

We introduce the State Classification Problem (SCP) for hybrid systems, ...

0 Dung Phan, et al. ∙

research

∙ 04/26/2018

Constraint-Based Inference in Probabilistic Logic Programs

Probabilistic Logic Programs (PLPs) generalize traditional logic program...

0 Arun Nampally, et al. ∙