Autor der Publikation

Towards a holistic approach for AI trustworthiness assessment based upon aids for multi-criteria aggregation.

, , , , , , , und . SafeAI@AAAI, Volume 3381 von CEUR Workshop Proceedings, CEUR-WS.org, (2023)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

The Proof Certifier Checkers., , und . TABLEAUX, Volume 9323 von Lecture Notes in Computer Science, Seite 201-210. Springer, (2015)Contextualised Out-of-Distribution Detection using Pattern Identication., , , , und . CoRR, (2023)CaBRNet, An Open-Source Library For Developing And Evaluating Case-Based Reasoning Models., , , , und . xAI (Late-breaking Work, Demos, Doctoral Consortium), Volume 3793 von CEUR Workshop Proceedings, Seite 265-272. CEUR-WS.org, (2024)Sanity checks and improvements for patch visualisation in prototype-based image classification., , , und . CoRR, (2023)CAMUS: A Framework to Build Formal Specifications for Deep Perception Systems Using Simulators., , , und . ECAI, Volume 325 von Frontiers in Artificial Intelligence and Applications, Seite 2497-2504. IOS Press, (2020)Introducing the TRUMPET project: TRUstworthy Multi-site Privacy Enhancing Technologies., , , , , , , , , und 5 andere Autor(en). CSR, Seite 604-611. IEEE, (2023)AIMOS: Metamorphic Testing of AI - An Industrial Application., , , und . SAFECOMP Workshops, Volume 14182 von Lecture Notes in Computer Science, Seite 328-340. Springer, (2023)Translating Between Implicit and Explicit Versions of Proof., , und . CADE, Volume 10395 von Lecture Notes in Computer Science, Seite 255-273. Springer, (2017)DISCO Verification: Division of Input Space into COnvex polytopes for neural network verification., , , , und . CoRR, (2021)On Using Certified Training towards Empirical Robustness., , , , und . CoRR, (2024)