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.