Con Marco Roveri e Luigi Di Guglielmo
I metodi basati sull’Intelligenza Artificiale sono sempre più adottati per risolvere una grande tipologia di problemi nell’ambito dei Sistemi Autonomi Intelligenti (SAI), che includono macchine a guida autonoma, robot autonomi, sistemi avionici a guida autonoma.
Anche se l’Intelligenza Artificiale (IA) ha dato un contributo significativo a tali applicazioni, permangono preoccupazioni circa la mancanza di metodi e strumenti per fornire garanzie formali sui comportamenti di tali sistemi. In particolare, è essenziale che i comportamenti generati dai sistemi basati sull’Intelligenza Artificiale siano ben compresi, corretti, sicuri e prevedibili.
In questa sessione analizziamo possibili sinergie tra Metodi Formali (rigoroso ragionamento matematico) e IA per garantire e dimostrare la sicurezza dei Sistemi Autonomi Intelligenti controllati da metodi basati sull’IA.
Relatori
Marco Roveri ha conseguito il Ph.D. in Informatica presso l’Università degli Studi di Milano. È Professore Associato presso il Dipartimento di Ingegneria e Scienze dell’Informazione dell’Università degli Studi di Trento. È stato ricercatore presso l’Unità Embedded Systems della Fondazione Bruno Kessler a Trento, e prima ricercatore presso la Divisione di Ragionamento Automatico dell’Istituto Trentino di Cultura, Trento. I suoi interessi di ricerca includono la verifica formale sia di sistemi hardware che software, la validazione dei requisiti formali di sistemi embedded, la manutenzione predittiva, la Pianificazione Automatica in ambito IA e l’applicazione di tali tecniche in contesti industriali.
Luigi Di Guglielmo è il responsabile del team Formal Methods di Advanced Laboratory on Embedded Systems (ALES), una società del gruppo Raytheon Technology (RTX). Ha conseguito M.S. e Ph.D. in Informatica presso l’Università degli Studi di Verona (Italia). Ha più di 8 anni di esperienza in innovazione industriale e ricerca applicata, sviluppando metodi e tecnologie basati su metodi formali per la formalizzazione e l’analisi dei requisiti, la validazione e la verifica formale. È autore di più di 20 articoli tecnici.