Autor der Publikation

Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development.

, , , , , , , , , und . TACAS (2), Volume 14571 von Lecture Notes in Computer Science, Seite 44-65. Springer, (2024)

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

Single-Agent Actor Critic for Decentralized Cooperative Driving., , und . CoRR, (2024)A generic user interface for energy management in smart homes., , , und . Energy Inform., (2018)Comparing transmission- and epi-BCARS: a round robin on solid-state materials, , , , , , , und . Appl. Opt., 63 (1): 112--121 (21.12.2023)Artifact for "Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development"., , , , , , , , , und . (Oktober 2023)Comparing Blockchain Standards and Recommendations., , , und . Future Internet, 12 (12): 222 (2020)A Design Thinking Approach on Information Security., und . AINA (2), Volume 450 von Lecture Notes in Networks and Systems, Seite 503-515. Springer, (2022)DISA - A Blockchain-Based Distributed Information Security Audit., , , , , und . iiWAS, Volume 14416 von Lecture Notes in Computer Science, Seite 27-34. Springer, (2023)Agent-Agnostic Centralized Training for Decentralized Multi-Agent Cooperative Driving., , und . IROS, Seite 1002-1009. IEEE, (2024)Supplementary Material for "Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development"., , , , , , , , , und . (Januar 2024)Asynchronous Stochastic Gradient Descent with Decoupled Backpropagation and Layer-Wise Updates., , , , und . CoRR, (2024)