Dario Guidotti - Dissemin

Language
Login

All papers authored by Dario Guidotti

This paper is made freely available by the publisher.

2023 Dario Guidotti

ORCID

, Laura Pandolfo

ORCID

ORCID

Leveraging Satisfiability Modulo Theory Solvers for Verification of Neural Networks in Predictive Maintenance Applications

Download from doi.org

This paper was not found in any repository; the policy of its publisher is unknown or unclear.

2022 Stefano Demarchi, Dario Guidotti

ORCID

, Andrea Pitto, Armando Tacchella

Formal Verification of Neural Networks: a Case Study about Adaptive Cruise Control

Upload

This paper was not found in any repository; the policy of its publisher is unknown or unclear.

S. Demarchi, D. Guidotti

ORCID

Counter-Example Guided Abstract Refinement for Verification of Neural Networks

Upload

This paper was not found in any repository; the policy of its publisher is unknown or unclear.

2021 Dario Guidotti

ORCID

Safety Analysis of Deep Neural Networks

Upload

This paper is made freely available by the publisher.

Dario Guidotti

ORCID

Verification and Repair of Neural Networks

Download from ojs.aaai.org

This paper was not found in any repository; the policy of its publisher is unknown or unclear.

Dario Guidotti

ORCID

, Giuseppe Cicala, Tommaso Gili

ORCID

, Armando Tacchella

Telling faults from cyber-attacks in a multi-modal logistic system with complex network analysis

Upload

Distributing this paper is prohibited by the publisher

Dario Guidotti

ORCID

, Luca Pulina, Armando Tacchella

pyNeVer: A Framework for Learning and Verification of Neural Networks

Upload

This paper was not found in any repository; the policy of its publisher is unknown or unclear.

2020 D. Guidotti

ORCID

, L. Pulina, A. Tacchella

NeVer 2.0: Learning, verification and repair of deep neural networks

Upload

This paper was not found in any repository; the policy of its publisher is unknown or unclear.

D. Guidotti

ORCID

, F. Leofante, L. Pulina, A. Tacchella

Verification of neural networks: Enhancing scalability through pruning

Upload

This paper is made freely available by the publisher.

2019 Dario Guidotti

ORCID

, Francesco Leofante, Armando Tacchella

ORCID

, Claudio Castellini

ORCID

Improving Reliability of Myocontrol Using Formal Verification

Download from doi.org

This paper was not found in any repository, but could be made available legally by the author.

Dario Guidotti

ORCID

, Francesco Leofante, Luca Pulina, Armando Tacchella

ORCID

Verification and Repair of Neural Networks: A Progress Report on Convolutional Models

Upload

Distributing this paper is prohibited by the publisher

Dario Guidotti

ORCID

, Francesco Leofante, Claudio Castellini, Armando Tacchella

ORCID

Repairing Learned Controllers with Convex Optimization: A Case Study

Upload

This paper was not found in any repository; the policy of its publisher is unknown or unclear.

D. Guidotti

ORCID

Enhancing neural networks through formal verification

Upload

This paper was not found in any repository; the policy of its publisher is unknown or unclear.

D. Guidotti

ORCID

, F. Leofante

Repair of convolutional neural networks using convex optimization: Preliminary experiments

Upload

Missing publications? Search for publications with a matching author name.