Tobias Schmid | DeepAI

DeepAI

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

Featured Co-authors

Stefan Wagner
71 publications
Jonas Fritzsch
12 publications
Stefanie Schraufstetter
1 publication
Dominik Hellhake
1 publication
Greta Koelln
1 publication

research

∙ 01/18/2021

Formal Verification of a Fail-Operational Automotive Driving System

A fail-operational system for highly automated driving must complete the...

0 Tobias Schmid, et al. ∙

research

∙ 11/20/2020

Experiences from Large-Scale Model Checking: Verification of a Vehicle Control System

In the age of autonomously driving vehicles, functionality and complexit...

0 Jonas Fritzsch, et al. ∙