iNEST Spoke 9 Kick-off
The kick-off of Spoke 9 of the iNEST project will be hosted at SISSA on March 17, 2023 from 10.00 to 16.00.
Category: News
iNEST Spoke 8 Kick-off
The kick-off of Spoke 8 of the iNEST project will be hosted by the University of Trieste in the main building on the 1st of March 2023 from 10.00 to 17.00. Here you can find the detailed program: https://drive.google.com/file/d/1BEYqnmDM9Dms8BYOM_fgrB6tGnFKoTFc/view
SEDUCE Final Meeting
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…
Paper @Machines 2023
Our paper Robot Navigation in Crowded Environments: A Reinforcement Learning Approach was accepted for publication in the scientific journal Machines 23. The paper is co-authored with Matteo Caruso, Enrico Regolin and Stefano Seriani. It presents controllers for driving mobile robots that must safely navigate a crowded environment while trying to…
Paper @HSCC23
Our paper Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes was accepted to HSCC23, co-authored with Nicola Paoletti for King’s College London. We propose a quantitative predictive monitor over the robustness of satisfaction of an STL property for stochastic processes.
AI dissemination project
The PCTO project organized in collaboration with Liceo Scientifico Galileo Galilei in Trieste has started. The project consists of a series of lectures targeted for high school students. They will familiarize with the handling and interpretation of data with the purpose of developing systems of recommendation
iNEST project
We are proud to be an active part of the iNEST project, Interconnected Nord-Est Innovation, funded by EU Recovery fund. The project aims to build a network of public and private institutions to foster technology transfer and innovation. Our group is involved in two spokes, spoke 8 – related to…
Talk @ FBK
On December 19, 2022, Luca Bortolussi gave a talk at the Digital Industry FBK in Trento about Mining Explainable Temporal Specifications from Data, joint work with Gaia Saveri and Laura Nenzi.
Talk @Bocconi
On November 2, 2022, Giulia Bernardini gave a talk at the Department of Computing Sciences of Bocconi University in Milan about Disseminating string data ensuring privacy: new combinatorial models and algorithms.
iNEST Spoke 8 Kick-off
The kick-off of Spoke 8 of the iNEST project will be hosted by the University of Trieste in the main building on the 1st of March 2023 from 10.00 to 17.00. Here you can find the detailed program: https://drive.google.com/file/d/1BEYqnmDM9Dms8BYOM_fgrB6tGnFKoTFc/view
SEDUCE Final Meeting
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…
Paper @Machines 2023
Our paper Robot Navigation in Crowded Environments: A Reinforcement Learning Approach was accepted for publication in the scientific journal Machines 23. The paper is co-authored with Matteo Caruso, Enrico Regolin and Stefano Seriani. It presents controllers for driving mobile robots that must safely navigate a crowded environment while trying to…
Paper @HSCC23
Our paper Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes was accepted to HSCC23, co-authored with Nicola Paoletti for King’s College London. We propose a quantitative predictive monitor over the robustness of satisfaction of an STL property for stochastic processes.
AI dissemination project
The PCTO project organized in collaboration with Liceo Scientifico Galileo Galilei in Trieste has started. The project consists of a series of lectures targeted for high school students. They will familiarize with the handling and interpretation of data with the purpose of developing systems of recommendation
iNEST project
We are proud to be an active part of the iNEST project, Interconnected Nord-Est Innovation, funded by EU Recovery fund. The project aims to build a network of public and private institutions to foster technology transfer and innovation. Our group is involved in two spokes, spoke 8 – related to…
Talk @ FBK
On December 19, 2022, Luca Bortolussi gave a talk at the Digital Industry FBK in Trento about Mining Explainable Temporal Specifications from Data, joint work with Gaia Saveri and Laura Nenzi.
Talk @Bocconi
On November 2, 2022, Giulia Bernardini gave a talk at the Department of Computing Sciences of Bocconi University in Milan about Disseminating string data ensuring privacy: new combinatorial models and algorithms.