Dario Guidotti

According to our database, Dario Guidotti authored at least 26 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

NeVer2: learning and verification of neural networks.

Stefano Demarchi, Dario Guidotti, Luca Pulina, Armando Tacchella

Soft Comput., October, 2024

Bistìris Ontology: Towards a Structured Representation of Sardinian Traditional Female Costumes.

Giorgio Corona, Dario Guidotti, Laura Pandolfo, Luca Pulina

SemDH@ESWC, 2024

Formal Verification of Neural Networks: A "Step Zero" Approach for Vehicle Detection.

Dario Guidotti, Laura Pandolfo, Luca Pulina

Proceedings of the Advances and Trends in Artificial Intelligence. Theory and Applications, 2024

Verifying Autoencoders for Anomaly Detection in Predictive Maintenance.

Dario Guidotti, Laura Pandolfo, Luca Pulina

Proceedings of the Advances and Trends in Artificial Intelligence. Theory and Applications, 2024

2023

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

Dario Guidotti, Laura Pandolfo, Luca Pulina

Inf., 2023

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

Dario Guidotti, Laura Pandolfo, Luca Pulina

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

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

Dario Guidotti, Laura Pandolfo, Luca Pulina

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.

Dario Guidotti, Riccardo Masiero, Laura Pandolfo, Luca Pulina

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

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

Dario Guidotti, Laura Pandolfo, Luca Pulina

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

Verifying Neural Networks with SMT: An Experimental Evaluation.

Dario Guidotti, Laura Pandolfo, Luca Pulina

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

Supporting Standardization of Neural Networks Verification with VNNLIB and CoCoNet.

Stefano Demarchi, Dario Guidotti, Luca Pulina, Armando Tacchella

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

2022

Verification and Repair of Machine Learning Models.

Dario Guidotti

PhD thesis, 2022

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

Stefano Demarchi, Dario Guidotti, Andrea Pitto, Armando Tacchella

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

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

Stefano Demarchi, Dario Guidotti

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.

Dario Guidotti

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).

Romina Eramo, Tiziana Fanni, Dario Guidotti, Laura Pandolfo, Luca Pulina, Katiuscia Zedda

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

2021

Safety Analysis of Deep Neural Networks.

Dario Guidotti

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.

Dario Guidotti, Giuseppe Cicala, Tommaso Gili, Armando Tacchella

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

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

Dario Guidotti, Luca Pulina, Armando Tacchella

Proceedings of the Automated Technology for Verification and Analysis, 2021

Verification and Repair of Neural Networks.

Dario Guidotti

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

2020

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

Dario Guidotti, Luca Pulina, Armando Tacchella

CoRR, 2020

Verification of Neural Networks: Enhancing Scalability Through Pruning.

Dario Guidotti, Francesco Leofante, Luca Pulina, Armando Tacchella

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.

Dario Guidotti, 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.

Dario Guidotti, Francesco Leofante, Claudio Castellini, Armando Tacchella

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2019

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

Dario Guidotti, Francesco Leofante, Luca Pulina, Armando Tacchella

Proceedings of the AI*IA 2019 - Advances in Artificial Intelligence, 2019

Enhancing Neural Networks through Formal Verification.

Dario Guidotti

Proceedings of the Discussion and Doctoral Consortium papers of AI*IA 2019, 2019