Dario Guidotti

Inf., 2023

Verifying Neural Networks with Non-Linear SMT Solvers: a Short Status Report.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE International Conference on Tools with Artificial Intelligence, 2023

Verification of NNs in the IMOCO4.E Project: Preliminary Results.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE International Conference on Emerging Technologies and Factory Automation, 2023

Vector Reconstruction Error for Anomaly Detection: Preliminary Results in the IMOCO4.E Project.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE International Conference on Emerging Technologies and Factory Automation, 2023

Detection of Component Degradation: A Study on Autoencoder-Based Approaches.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Conference on e-Science, 2023

Verifying Neural Networks with SMT: An Experimental Evaluation.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Conference on e-Science, 2023

Supporting Standardization of Neural Networks Verification with VNNLIB and CoCoNet.

[BibT_eX]

[DOI]

Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems, 2023

2022

Verification and Repair of Machine Learning Models.

[BibT_eX]

[DOI]

PhD thesis, 2022

Formal Verification Of Neural Networks: A Case Study About Adaptive Cruise Control.

[BibT_eX]

[DOI]

Proceedings of the 36th ECMS International Conference on Modelling and Simulation, 2022

Counter-Example Guided Abstract Refinement for Verification of Neural Networks.

[BibT_eX]

[DOI]

Stefano Demarchi

Proceedings of the CPS Summer School PhD Workshop 2022 co-located with 4th Edition of the CPS Summer School (CPS 2022), 2022

Verification of Neural Networks for Safety and Security-critical Domains.

[BibT_eX]

[DOI]

Proceedings of the 10th Italian workshop on Planning and Scheduling (IPS 2022), RCRA Incontri E Confronti (RiCeRcA 2022), and the workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (SPIRIT 2022) co-located with 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), November 28, 2022

Verification of Neural Networks: Challenges and Perspectives in the AIDOaRt Project (Short Paper).

[BibT_eX]

[DOI]

2021

Safety Analysis of Deep Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Telling Faults From Cyber-Attacks In A Multi-Modal Logistic System With Complex Network Analysis.

[BibT_eX]

[DOI]

Proceedings of the 35th International ECMS International Conference on Modelling and Simulation, 2021

pyNeVer: A Framework for Learning and Verification of Neural Networks.

[BibT_eX]

[DOI]

Armando Tacchella

Proceedings of the Automated Technology for Verification and Analysis, 2021

Verification and Repair of Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

NeVer 2.0: Learning, Verification and Repair of Deep Neural Networks.

[BibT_eX]

[DOI]

Armando Tacchella

CoRR, 2020

Verification of Neural Networks: Enhancing Scalability Through Pruning.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

2019

Repair of Convolutional Neural Networks using Convex Optimization: Preliminary Experiments.

[BibT_eX]

[DOI]

Francesco Leofante

Proceedings of the Cyber-Physical Systems PhD Workshop 2019, an event held within the CPS Summer School "Designing Cyber-Physical Systems, 2019

Repairing Learned Controllers with Convex Optimization: A Case Study.

[BibT_eX]

[DOI]