Bernd-Holger Schlingloff | DeepAI

DeepAI

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

Featured Co-authors

Michael Fisher
25 publications
Marie Farrell
18 publications
Viviana Mascardi
10 publications
Neil Yorke-Smith
7 publications
Michael Winikoff
5 publications
James Davenport
5 publications
Sebastian Krings
4 publications
Markus Roggenbach
4 publications
Magne Haveraaen
3 publications
Antonio Cerone
2 publications
Nikolay Shilov
2 publications

research

∙ 10/12/2020

Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering – A White Paper

This white paper argues that formal methods need to be better rooted in ...

0 Antonio Cerone, et al. ∙

research

∙ 01/24/2020

Towards a Framework for Certification of Reliable Autonomous Systems

A computational system is called autonomous if it is able to make its ow...

0 Michael Fisher, et al. ∙