Author of the publication

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 Vision on What Explanations of Autonomous Systems are of Interest to Lawyers., , and . REW, page 332-336. IEEE, (2023)Explaining Cyberphysical System Behavior With Digital Twins., , and . IEEE Softw., 41 (1): 55-63 (January 2024)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)Distributed controllers for provably safe, live and fair autonomous car manoeuvres in urban traffic.. Oldenburg University, Germany, (2021)Proving properties of autonomous car manoeuvres in urban traffic.. it Inf. Technol., 63 (5-6): 253-263 (2021)Extending Urban Multi-Lane Spatial Logic to Formalise Road Junction Rules., and . FMAS, volume 348 of EPTCS, page 1-19. (2021)A Quest of Self-Explainability: When Causal Diagrams meet Autonomous Urban Traffic Manoeuvres.. RE Workshops, page 195-199. IEEE, (2021)An abstract model for proving safety of autonomous urban traffic.. Theor. Comput. Sci., (2018)Imperfect Knowledge in Autonomous Urban Traffic Manoeuvres.. FVAV@iFM, volume 257 of EPTCS, page 59-74. (2017)Towards Self-Explainable Cyber-Physical Systems., , , , , , , and . MoDELS (Companion), page 543-548. IEEE, (2019)