Showing 1 - 7 results of 7 for search 'Yannick Forster', query time: 0.02s
Refine Results
-
1
Hilbert's Tenth Problem in Coq (Extended Version) by Dominique Larchey-Wendling, Yannick Forster
Published 2022-03-01
Article -
2
-
3
-
4
-
5
-
6
-
7
Checklist for Expert Evaluation of HMIs of Automated Vehicles—Discussions on Its Value and Adaptions of the Method within an Expert Workshop by Nadja Schömig, Katharina Wiedemann, Sebastian Hergeth, Yannick Forster, Jeffrey Muttart, Alexander Eriksson, David Mitropoulos-Rundus, Kevin Grove, Josef Krems, Andreas Keinath, Alexandra Neukum, Frederik Naujoks
Published 2020-04-01
Article