Objective: The objective of the course is to expand upon a basic notions of verification and develop an understanding of probabilistic model checking over Markov models. Lessons will cover algorithms for verification and synthesis. Towards the end of the course, we provide an introduction to statistical inference over models and of statistical model checking.
Instructor: The instructor is prof. Alessandro Abate https://www.cs.ox.ac.uk/people/alessandro.abate/). His interests lie in the analysis, verification, and optimal
control of heterogeneous and complex dynamical models -- in
particular of stochastic hybrid systems -- and in their
applications in cyber-physical systems, and modelling for the life
sciences (systems biology). He is also interested in a principled
integration of model-based mathematical techniques with
data-driven learning algorithms. He has been the recipient
of several prizes, including a Silver Medal, 2014 Kurt Goedel
Research Prize.
Schedule: The course will start on March 18.
- Docente: Alessandro Abate
- Docente: Paolo Baldan