Gricel Vázquez | DeepAI

DeepAI

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

Featured Co-authors

Radu Calinescu
25 publications
Corina Pasareanu
12 publications
Ravi Mangal
6 publications
Javier Cámara
6 publications
Calum Imrie
2 publications
Misael Alpizar Santana
1 publication

research

∙ 09/28/2022

Scheduling of Missions with Constrained Tasks for Heterogeneous Robot Systems

We present a formal tasK AllocatioN and scheduling apprOAch for multi-ro...

0 Gricel Vázquez, et al. ∙

research

∙ 02/07/2022

Discrete-Event Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components

We present DEEPDECS, a new method for the synthesis of correct-by-constr...

8 Radu Calinescu, et al. ∙