( en | de | ru )

 

Disambiguierung von "Chihani, Zakaria"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
CAISAR: A platform for Characterizing Artificial Intelligence Safety and Robustness.

, , , , und . AISafety@IJCAI, Volume 3215 von CEUR Workshop Proceedings, CEUR-WS.org, (2022)

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.

Bachir Chihani

Zakaria Zidan

Jesin Zakaria

Saiedeh Zakaria

Zakaria Chemli

 

Weitere Publikationen von Autoren mit dem selben Namen

Contextualised Out-of-Distribution Detection using Pattern Identication., , , , und . CoRR, (2023)The Proof Certifier Checkers., , und . TABLEAUX, Volume 9323 von Lecture Notes in Computer Science, Seite 201-210. Springer, (2015)CAMUS: A Framework to Build Formal Specifications for Deep Perception Systems Using Simulators., , , und . CoRR, (2019)DISCO Verification: Division of Input Space into COnvex polytopes for neural network verification., , , , und . CoRR, (2021)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)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)Sanity checks and improvements for patch visualisation in prototype-based image classification., , , und . CoRR, (2023)Proof Certificates for Equality Reasoning., und . LSFA, Volume 323 von Electronic Notes in Theoretical Computer Science, Seite 93-108. Elsevier, (2015)An overview of key trustworthiness attributes and KPIs for trusted ML-based systems engineering., , , , , , , und . AI Ethics, 4 (1): 15-25 (Februar 2024)