Artificial intelligence and model checking for simulation-based analysis of cyber-physical systems
Date: Mon 23 Sep 2019
Time: 15.30
Venue: Dipartimento di Informatica, Via Salaria 113, Third Floor, Seminari Lecture Room
Speaker: Toni Mancini
Title: Artificial intelligence and model checking for simulation-based analysis of cyber-physical systems.
Abstract: 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.