AI-Lab @ UniTS https://ai-lab.units.it Artificial Intelligence Lab Thu, 02 Mar 2023 20:56:33 +0000 en-US hourly 1 https://wordpress.org/?v=6.9.1 https://ai-lab.units.it/wp-content/uploads/2023/03/cropped-site_identity-32x32.png AI-Lab @ UniTS https://ai-lab.units.it 32 32 iNEST Spoke 9 Kick-off https://ai-lab.units.it/?p=715 https://ai-lab.units.it/?p=715#respond Thu, 02 Mar 2023 20:52:29 +0000 https://ai-lab.units.it/?p=715 Continue reading

]]> 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.

]]> https://ai-lab.units.it/?feed=rss2&p=715 0 iNEST Spoke 8 Kick-off https://ai-lab.units.it/?p=697 https://ai-lab.units.it/?p=697#respond Wed, 15 Feb 2023 15:11:02 +0000 https://ai-lab.units.it/?p=697 Continue reading

]]> 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

]]> https://ai-lab.units.it/?feed=rss2&p=697 0 SEDUCE Final Meeting https://ai-lab.units.it/?p=692 https://ai-lab.units.it/?p=692#respond Wed, 15 Feb 2023 15:03:30 +0000 https://ai-lab.units.it/?p=692 Continue reading

]]> 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) .

]]> https://ai-lab.units.it/?feed=rss2&p=692 0 Paper @Machines 2023 https://ai-lab.units.it/?p=672 https://ai-lab.units.it/?p=672#respond Wed, 15 Feb 2023 09:43:41 +0000 https://ai-lab.units.it/?p=672 Continue reading

]]> 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 reach a target location.

]]> https://ai-lab.units.it/?feed=rss2&p=672 0 Paper @HSCC23 https://ai-lab.units.it/?p=668 https://ai-lab.units.it/?p=668#respond Wed, 15 Feb 2023 09:29:09 +0000 https://ai-lab.units.it/?p=668 Continue reading

]]> 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.

]]> https://ai-lab.units.it/?feed=rss2&p=668 0 AI dissemination project https://ai-lab.units.it/?p=678 https://ai-lab.units.it/?p=678#respond Thu, 02 Feb 2023 09:55:00 +0000 https://ai-lab.units.it/?p=678 Continue reading

]]> 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

]]> https://ai-lab.units.it/?feed=rss2&p=678 0 iNEST project https://ai-lab.units.it/?p=620 Wed, 01 Feb 2023 17:09:00 +0000 https://ai-lab.units.it/?p=620 Continue reading

]]>

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 the construction of a digital twin of the both Adriatic Sea- and spoke 9, focussed on developing AI-based tools for the development and continuous deployment of digital twins in several areas – from smart cities and logistics to industry and medicine.

Within this project, several positions were funded. We welcome Francesca Cairoli, who will join us on March 1st as assistant professor, Francesco Giacomarra, Irene Ferfoglia, and Lorenzo Bonin, phd students.

The project started on September 2022 and it will terminate on February 2026. Stay tuned.

]]> Talk @ FBK https://ai-lab.units.it/?p=631 Mon, 19 Dec 2022 05:00:00 +0000 https://ai-lab.units.it/?p=631 Continue reading

]]> 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.

Slides of the talkDownload

]]> Talk @Bocconi https://ai-lab.units.it/?p=681 https://ai-lab.units.it/?p=681#respond Thu, 03 Nov 2022 10:06:00 +0000 https://ai-lab.units.it/?p=681 Continue reading

]]> 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.

SlidesDownload
]]> https://ai-lab.units.it/?feed=rss2&p=681 0