Autor der Publikation

Die Formalisierung von Rechtsnormen am Beispiel des Überholvorgangs

, und . Zeitschrift für Innovations- und Technikrecht, (März 2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Road occupancy prediction of traffic participants., , und . ITSC, Seite 99-105. IEEE, (2013)Calibration of Controlled Markov Chains for Predicting Pedestrian Crossing Behavior Using Multi-objective Genetic Algorithms., , und . ITSC, Seite 1032-1038. IEEE, (2019)Pedestrian Models for Autonomous Driving Part II: high level models of human behaviour., , , , , , , , , und 4 andere Autor(en). CoRR, (2020)Model-Based Probabilistic Collision Detection in Autonomous Driving., , und . IEEE Trans. Intell. Transp. Syst., 10 (2): 299-310 (2009)Model Predictive Robustness of Signal Temporal Logic Predicates., , und . IEEE Robotics Autom. Lett., 8 (12): 8050-8057 (Dezember 2023)Distributed set-based observers using diffusion strategies., , , , und . J. Frankl. Inst., 360 (10): 6976-6993 (Juli 2023)Specification-Driven Neural Network Reduction for Scalable Formal Verification., und . CoRR, (2023)Provably Safe Reinforcement Learning via Action Projection using Reachability Analysis and Polynomial Zonotopes., , , , und . CoRR, (2022)Verifiably Safe Reinforcement Learning with Probabilistic Guarantees via Temporal Logic., , , und . CoRR, (2022)Set-Based Prediction of Pedestrians in Urban Environments Considering Formalized Traffic Rules., , , und . ITSC, Seite 2704-2711. IEEE, (2018)