Martin Fabian | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Torsten Kröger
22 publications
Wolfgang Ahrendt
7 publications
Tom P. Huck
5 publications
Christoph Ledermann
5 publications
Bengt Lennartson
3 publications
Yuvaraj Selvaraj
2 publications
Knut Åkesson
2 publications
Sabino Francesco Roselli
1 publication
Constantin Cronrath
1 publication
Jonas Krook
1 publication

research

∙ 10/13/2022

A Formal-Methods Approach to Provide Evidence in Automated-Driving Safety Cases

The safety of automated driving systems must be justified by convincing ...

0 Jonas Krook, et al. ∙

research

∙ 09/26/2022

Hazard Analysis of Collaborative Automation Systems: A Two-layer Approach based on Supervisory Control and Simulation

Safety critical systems are typically subjected to hazard analysis befor...

0 Tom P. Huck, et al. ∙

research

∙ 06/10/2021

An SMT Based Compositional Model to Solve a Conflict-Free Electric Vehicle Routing Problem

The Vehicle Routing Problem (VRP) is the combinatorial optimization prob...

0 Sabino Francesco Roselli, et al. ∙