Artificial intelligence and model checking for simulation-based analysis of cyber-physical systems


Cyber-Physical Systems, i.e., systems consisting of interconnected physical and software parts, are ubiquitous in application domains as diverse as aerospace, automotive, energy, biology, human physiology, and pharmacology, just to name a few. In this talk, I will review recent approaches to simulation-based design and formal verification of cyber-physical systems, with a particular emphasis on my own contributions to the field.

23/09/2019

Time: 15.30
Venue: Dipartimento di Informatica, Via Salaria 113, Third Floor, Seminari Lecture Room
Speaker: Toni Mancini

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