From post

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.

 

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

Towards a Formalisation of Justification and Justifiability.. FMAS, том 348 из EPTCS, стр. 136-149. (2021)A Reference Architecture of Human Cyber-Physical Systems - Part III: Semantic Foundations., , , , , , , , , и 13 other автор(ы). ACM Trans. Cyber Phys. Syst., 8 (1): 4:1-4:23 (января 2024)Justification Based Reasoning in Dynamic Conflict Resolution., , , , и . CoRR, (2019)Safer Than Perception: Assuring Confidence in Safety-Critical Decisions of Automated Vehicles., , , , и . Applicable Formal Methods for Safe Industrial Products, том 14165 из Lecture Notes in Computer Science, стр. 180-201. Springer, (2023)A References Architecture for Human Cyber Physical Systems, Part II: Fundamental Design Principles for Human-CPS Interaction., , , , , , , , , и 13 other автор(ы). ACM Trans. Cyber Phys. Syst., 8 (1): 3:1-3:27 (января 2024)A Reference Architecture of Human Cyber-Physical Systems - Part I: Fundamental Concepts., , , , , , , , , и 12 other автор(ы). ACM Trans. Cyber Phys. Syst., 8 (1): 2:1-2:32 (января 2024)Verification of Sigmoidal Artificial Neural Networks using iSAT., , , , и . SNR, том 361 из EPTCS, стр. 45-60. (2021)Dynamic Conflict Resolution Using Justification Based Reasoning., , , , и . CREST@ETAPS, том 308 из EPTCS, стр. 47-65. (2019)Towards Formal Concepts for Explanation Timing and Justifications., , , и . RE Workshops, стр. 98-102. IEEE, (2022)