( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development.

, , , , , , , , , и . TACAS (2), том 14571 из Lecture Notes in Computer Science, стр. 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.

Lukas König

Torsten König

Naturwissen, Ästhetik und Religion in Bernardin de Saint-Pierres Études de la nature. HU Berlin, (2007)

Melanie Königshoff

The WNT1 induced signalling protein 1 is a novel mediator of impaired epithelial-mesenchymal interactions in lung fibrosis. Uni Gießen, (2009)

Friedrich König

Bernd König

 

Другие публикации лиц с тем же именем

Single-Agent Actor Critic for Decentralized Cooperative Driving., , и . CoRR, (2024)A generic user interface for energy management in smart homes., , , и . Energy Inform., (2018)Comparing transmission- and epi-BCARS: a round robin on solid-state materials, , , , , , , и . Appl. Opt., 63 (1): 112--121 (21.12.2023)Artifact for "Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development"., , , , , , , , , и . (октября 2023)Comparing Blockchain Standards and Recommendations., , , и . Future Internet, 12 (12): 222 (2020)A Design Thinking Approach on Information Security., и . AINA (2), том 450 из Lecture Notes in Networks and Systems, стр. 503-515. Springer, (2022)DISA - A Blockchain-Based Distributed Information Security Audit., , , , , и . iiWAS, том 14416 из Lecture Notes in Computer Science, стр. 27-34. Springer, (2023)Agent-Agnostic Centralized Training for Decentralized Multi-Agent Cooperative Driving., , и . IROS, стр. 1002-1009. IEEE, (2024)Supplementary Material for "Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development"., , , , , , , , , и . (января 2024)Supplementary Material for TACAS Submission "Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development"., , , , , , , , , и . (октября 2023)