Sinem Getir Yaman | 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
Ana Cavalcanti
13 publications
Corina S. Pasareanu
12 publications
Colin Paterson
11 publications
Pedro Ribeiro
9 publications
Ravi Mangal
6 publications
Huafeng Yu
3 publications
Calum Imrie
2 publications
Beverley Townsend
1 publication

research

∙ 07/07/2023

Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents

Autonomous agents are increasingly being proposed for use in healthcare,...

0 Sinem Getir Yaman, et al. ∙

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. ∙