Stefano Demarchi

According to our database, Stefano Demarchi authored at least 10 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

Improving Abstract Propagation For Verification Of Neural Networks.

Stefano Demarchi, Andrea Gimelli, Armando Tacchella

Proceedings of the 38th ECMS International Conference on Modelling and Simulation, 2024

2023

Experimenting with Constraint Programming Techniques in Artificial Intelligence: Automated System Design and Verification of Neural Networks.

Stefano Demarchi

PhD thesis, 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

A comparison of declarative AI techniques for computer automated design of elevator systems.

Giuseppe Cicala, Stefano Demarchi, Marco Menapace, Leopoldo Annunziata, Armando Tacchella

Intelligenza Artificiale, 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

2021

Automated Design of Elevator Systems: Experimenting with Constraint-Based Approaches.

Stefano Demarchi, Marco Menapace, Armando Tacchella

Proceedings of the AIxIA 2021 - Advances in Artificial Intelligence, 2021

2019

Automating Elevator Design with Satisfiability Modulo Theories.

Stefano Demarchi, Marco Menapace, Armando Tacchella

Proceedings of the 31st IEEE International Conference on Tools with Artificial Intelligence, 2019

Automated Design of Complex Systems with Constraint Programming Techniques.

Stefano Demarchi, Armando Tacchella, Marco Menapace

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