Iury V. Bessa | DeepAI

DeepAI

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

Featured Co-authors

Lucas C. Cordeiro
28 publications
Mikhail R. Gadelha
8 publications
Edjard Mota
3 publications
Rodrigo F. Araújo
2 publications
Luiz H. Sena
1 publication
Alexandre Ribeiro
1 publication
João E. C. Filho
1 publication

research

∙ 07/30/2019

Incremental Bounded Model Checking of Artificial Neural Networks in CUDA

Artificial Neural networks (ANNs) are powerful computing systems employe...

4 Luiz H. Sena, et al. ∙

research

∙ 08/14/2017

Counterexample Guided Inductive Optimization Applied to Mobile Robots Path Planning (Extended Version)

We describe and evaluate a novel optimization-based off-line path planni...

0 Rodrigo F. Araújo, et al. ∙