Author of the publication

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

, , , , , , , , , and . TACAS (2), volume 14571 of Lecture Notes in Computer Science, page 44-65. Springer, (2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

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