Sign in
Stefano Demarchi
Publication Activity (10 Years)
Years Active: 2019-2022
Publications (10 Years): 6
Top Topics
Automated Design
Hard And Soft Constraints
Neural Network
Formal Verification
Top Venues
CPS Summer School, PhD Workshop
Intelligenza Artificiale
AI*IA
ECMS
</>
Publications
</>
Stefano Demarchi
,
Dario Guidotti
Counter-Example Guided Abstract Refinement for Verification of Neural Networks.
CPS Summer School, PhD Workshop
(2022)
Giuseppe Cicala
,
Stefano Demarchi
,
Marco Menapace
,
Leopoldo Annunziata
,
Armando Tacchella
A comparison of declarative AI techniques for computer automated design of elevator systems.
Intelligenza Artificiale
16 (1) (2022)
Stefano Demarchi
,
Dario Guidotti
,
Andrea Pitto
,
Armando Tacchella
Formal Verification Of Neural Networks: A Case Study About Adaptive Cruise Control.
ECMS
(2022)
Stefano Demarchi
,
Marco Menapace
,
Armando Tacchella
Automated Design of Elevator Systems: Experimenting with Constraint-Based Approaches.
AI*IA
(2021)
Stefano Demarchi
,
Marco Menapace
,
Armando Tacchella
Automating Elevator Design with Satisfiability Modulo Theories.
ICTAI
(2019)
Stefano Demarchi
,
Armando Tacchella
,
Marco Menapace
Automated Design of Complex Systems with Constraint Programming Techniques.
CPS Summer School, PhD Workshop
(2019)