Seminario Pubblico Prof. Toni Mancini

Date: Mercoledì 23 Ottobre,
Time: 09.00
Venue: https://meet.google.com/mzu-ikae-ijz
Speaker: Toni Mancini

Titolo: Formal verification and automated synthesis of mission- and safety-critical systems via AI and statistical model checking--guided simulation
Abstract: In this presentation I will survey recent results of my research activity on these topics, with application in diverse domains, such as health, bioinformatics and cyber-physical systems.

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma