Sistemi intelligenti

Sviluppare, implementare e convalidare sistemi intelligenti affidabili basati su metodi formali ad esempio che consentono di gestire sistemi di guida autonoma in città oppure per la domotica in casa: è questo l’obiettivo del progetto “IT MATTERS: Methods and Tools for Trustworthy Smart Systems”, coordinato per Unicam dal prof. Michele Loreti della sezione di Informatica della Scuola di Scienze e Tecnologie, che ha ottenuto un finanziamento nazionale nell’ambito dei PRIN.