Formal Verification of Neural Networks: a Case Study about Adaptive Cruise Control S Demarchi, D Guidotti, A Pitto, A Tacchella International ECMS Conference on Modelling and Simulation 36 (1), 2022 | 8 | 2022 |
The Verification of Neural Networks Library (VNN-LIB) D Guidotti, S Demarchi, A Tacchella, L Pulina | 7 | 2023 |
Supporting Standardization of Neural Networks Verification with VNN-LIB and CoCoNet S Demarchi, D Guidotti, L Pulina, A Tacchella Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous …, 2023 | 4 | 2023 |
Automating elevator design with satisfiability modulo theories S Demarchi, M Menapace, A Tacchella 2019 IEEE 31st International Conference on Tools with Artificial …, 2019 | 4 | 2019 |
Automated Design of Elevator Systems: Experimenting with Constraint-Based Approaches S Demarchi, M Menapace, A Tacchella International Conference of the Italian Association for Artificial …, 2021 | 1 | 2021 |
Automated Design of Complex Systems with Constraint Programming Techniques. S Demarchi, A Tacchella, M Menapace CPS Summer School, PhD Workshop, 51-59, 2019 | 1 | 2019 |
NeVer2: Learning and Verification of Neural Networks S Demarchi, D Guidotti, L Pulina, A Tacchella | | 2024 |
Counter-Example Guided Abstract Refinement for Verification of Neural Networks. S Demarchi, D Guidotti CPS Summer School, PhD Workshop, 2022 | | 2022 |
A comparison of declarative AI techniques for computer automated design of elevator systems G Cicala, S Demarchi, M Menapace, L Annunziata, A Tacchella Intelligenza Artificiale 16 (1), 131-150, 2022 | | 2022 |
Counter-example Guided Abstract Refinement for NN Verification S Demarchi, D Guidotti | | |