( en | de | ru )

 

Disambiguation of "Demarchi, Stefano"

Author of the publication

copydeleteadd this publication to your clipboard
Counter-Example Guided Abstract Refinement for Verification of Neural Networks.

, and . CPS Summer School, PhD Workshop, volume 3252 of CEUR Workshop Proceedings, CEUR-WS.org, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Stefano Meini

Stefano Cracolici

Stefano Cardanobile

Giovanni Stefano

Stefano Carignano

 

Other publications of authors with the same name

A comparison of declarative AI techniques for computer automated design of elevator systems., , , , and . Intelligenza Artificiale, 16 (1): 131-150 (2022)Experimenting with Constraint Programming Techniques in Artificial Intelligence: Automated System Design and Verification of Neural Networks.. University of Genoa, Italy, (2023)base-search.net (ftunivgenova:oai:iris.unige.it:11567/1117675).Counter-Example Guided Abstract Refinement for Verification of Neural Networks., and . CPS Summer School, PhD Workshop, volume 3252 of CEUR Workshop Proceedings, CEUR-WS.org, (2022)Automated Design of Complex Systems with Constraint Programming Techniques., , and . CPS Summer School, PhD Workshop, volume 2457 of CEUR Workshop Proceedings, page 51-59. CEUR-WS.org, (2019)Automating Elevator Design with Satisfiability Modulo Theories., , and . ICTAI, page 26-33. IEEE, (2019)Automated Design of Elevator Systems: Experimenting with Constraint-Based Approaches., , and . AI*IA, volume 13196 of Lecture Notes in Computer Science, page 77-90. Springer, (2021)Formal Verification Of Neural Networks: A Case Study About Adaptive Cruise Control., , , and . ECMS, page 310-316. European Council for Modeling and Simulation, (2022)Communications of the ECMS, Volume 36, Issue 1, June 2022.