Author of the publication

Safer Than Perception: Assuring Confidence in Safety-Critical Decisions of Automated Vehicles.

, , , , and . Applicable Formal Methods for Safe Industrial Products, volume 14165 of Lecture Notes in Computer Science, page 180-201. Springer, (2023)

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

A Reference Architecture of Human Cyber-Physical Systems - Part III: Semantic Foundations., , , , , , , , , and 13 other author(s). ACM Trans. Cyber Phys. Syst., 8 (1): 4:1-4:23 (January 2024)What Level of Power Should We Give an Automation? - - Adjusting the Level of Automation in HCPS -., , , , and . EDCC Workshops, volume 2078 of Communications in Computer and Information Science, page 14-21. Springer, (2024)Framing Relevance for Safety-Critical Autonomous Systems.. CoRR, (2023)A References Architecture for Human Cyber Physical Systems, Part II: Fundamental Design Principles for Human-CPS Interaction., , , , , , , , , and 13 other author(s). ACM Trans. Cyber Phys. Syst., 8 (1): 3:1-3:27 (January 2024)A Reference Architecture of Human Cyber-Physical Systems - Part I: Fundamental Concepts., , , , , , , , , and 12 other author(s). ACM Trans. Cyber Phys. Syst., 8 (1): 2:1-2:32 (January 2024)Dynamic Conflict Resolution Using Justification Based Reasoning., , , , and . CREST@ETAPS, volume 308 of EPTCS, page 47-65. (2019)Towards Formal Concepts for Explanation Timing and Justifications., , , and . RE Workshops, page 98-102. IEEE, (2022)Roles and Responsibilities for a Predictable Update Process - A Position Paper., and . VECoS, volume 13187 of Lecture Notes in Computer Science, page 17-26. Springer, (2021)A Doxastic Characterisation of Autonomous Decisive Systems.. FMAS/ASYDE@SEFM, volume 371 of EPTCS, page 103-119. (2022)Safer Than Perception: Assuring Confidence in Safety-Critical Decisions of Automated Vehicles., , , , and . Applicable Formal Methods for Safe Industrial Products, volume 14165 of Lecture Notes in Computer Science, page 180-201. Springer, (2023)