2 citations · 3 across the 2 of their papers we have counts for
2 papers
eess.SY2022★ 2 cited
Ein Beitrag zur durchgängigen, formalen Verhaltensspezifikation automatisierter Straßenfahrzeuge
Nayel Fabian Salem, Veronica Haber, Matthias Rauschenbach +5
Assuring safety of automated vehicles (SAE Level 3+) requires specifying and validating the behavior of such a vehicle in its operational environment. In order to argue and support…
physics.soc-ph2021★ 1 cited
Phänomen-Signal-Modell: Formalismus, Graph und Anwendung
Hans Nikolaus Beck, Nayel Fabian Salem, Veronica Haber +2
If we consider information as the basis of action, it may be of interest to examine the flow and acquisition of information between the actors in traffic. The central question is,…