( en | de | ru )

 

Disambiguierung von "Guidotti, Dario"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Verification of Neural Networks: Challenges and Perspectives in the AIDOaRt Project (Short Paper).

, , , , , und . IPS/RiCeRcA/SPIRIT@AI*IA, Volume 3345 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.

Dario Mazzoleni

Dario Piano

Dario Gil

Dario Vincenti

Dario Struwe

 

Weitere Publikationen von Autoren mit dem selben Namen

Counter-Example Guided Abstract Refinement for Verification of Neural Networks., und . CPS Summer School, PhD Workshop, Volume 3252 von CEUR Workshop Proceedings, CEUR-WS.org, (2022)Verification of Neural Networks for Safety and Security-critical Domains.. IPS/RiCeRcA/SPIRIT@AI*IA, Volume 3345 von CEUR Workshop Proceedings, CEUR-WS.org, (2022)Supporting Standardization of Neural Networks Verification with VNNLIB and CoCoNet., , , und . FoMLAS@CAV, Volume 16 von Kalpa Publications in Computing, Seite 47-58. EasyChair, (2023)Detection of Component Degradation: A Study on Autoencoder-Based Approaches., , und . e-Science, Seite 1-2. IEEE, (2023)Verification and Repair of Neural Networks.. AAAI, Seite 15714-15715. AAAI Press, (2021)Verifying Neural Networks with Non-Linear SMT Solvers: a Short Status Report., , und . ICTAI, Seite 423-428. IEEE, (2023)Telling Faults From Cyber-Attacks In A Multi-Modal Logistic System With Complex Network Analysis., , , und . ECMS, Seite 260-266. European Council for Modeling and Simulation, (2021)Communications of the ECMS, Volume 35, Issue 1, June 2021.Verification of Neural Networks: Challenges and Perspectives in the AIDOaRt Project (Short Paper)., , , , , und . IPS/RiCeRcA/SPIRIT@AI*IA, Volume 3345 von CEUR Workshop Proceedings, CEUR-WS.org, (2022)NeVer 2.0: Learning, Verification and Repair of Deep Neural Networks., , und . CoRR, (2020)Verification and Repair of Neural Networks: A Progress Report on Convolutional Models., , , und . AI*IA, Volume 11946 von Lecture Notes in Computer Science, Seite 405-417. Springer, (2019)