Dario Guidotti

Orcid: 0000-0001-8284-5266

According to our database1, Dario Guidotti authored at least 21 papers between 2019 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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

Verifying Neural Networks with Non-Linear SMT Solvers: a Short Status Report.
Proceedings of the 35th IEEE International Conference on Tools with Artificial Intelligence, 2023

Verification of NNs in the IMOCO4.E Project: Preliminary Results.
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.
Proceedings of the 28th IEEE International Conference on Emerging Technologies and Factory Automation, 2023

Detection of Component Degradation: A Study on Autoencoder-Based Approaches.
Proceedings of the 19th IEEE International Conference on e-Science, 2023

Verifying Neural Networks with SMT: An Experimental Evaluation.
Proceedings of the 19th IEEE International Conference on e-Science, 2023

2022
Verification and Repair of Machine Learning Models.
PhD thesis, 2022

Formal Verification Of Neural Networks: A Case Study About Adaptive Cruise Control.
Proceedings of the 36th ECMS International Conference on Modelling and Simulation, 2022

Counter-Example Guided Abstract Refinement for Verification of Neural Networks.
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.
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).
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.
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.
Proceedings of the 35th International ECMS International Conference on Modelling and Simulation, 2021

pyNeVer: A Framework for Learning and Verification of Neural Networks.
Proceedings of the Automated Technology for Verification and Analysis, 2021

Verification and Repair of Neural Networks.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

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

Verification of Neural Networks: Enhancing Scalability Through Pruning.
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.
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.
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.
Proceedings of the AI*IA 2019 - Advances in Artificial Intelligence, 2019

Enhancing Neural Networks through Formal Verification.
Proceedings of the Discussion and Doctoral Consortium papers of AI*IA 2019, 2019


  Loading...