The final meeting of the PRIN 2017 project SEDUCE will be held in Trieste on February 27 and 28, 2023. SEDUCE focuses on the use of Machine Learning for the verification and synthesis of cyber-physical systems. The project saw the collaboration of IMT Lucca, GSSI L’Aquila and the University of Camerino (UNICAM)/University of Firenze (UNIFI) .
