Calum Imrie | DeepAI

DeepAI

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

Featured Co-authors

Radu Calinescu
25 publications
Divya Gopinath
17 publications
Corina Pasareanu
12 publications
Corina S. Pasareanu
12 publications
Ravi Mangal
6 publications
Huafeng Yu
3 publications
Gricel Vázquez
2 publications
Sinem Getir Yaman
2 publications
Misael Alpizar Santana
1 publication

research

∙ 02/06/2023

Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study

Deep neural networks (DNNs) are increasingly used in safety-critical aut...

0 Corina S. Pasareanu, 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. ∙