Length: 21 hours - 4 cfu
Abstract
The aim of the course is to provide students with an overview of probabilistic model checking techniques for modelling and analysis of complex and self-organising systems with uncertain elements. Specifically, students will gain understanding of the probabilistic model checking concept applied to Markov chain models and of applications in different domains, with a focus on biological systems. Moreover, students will learn how to implement and analyze simple models from literature
Dates & Venue
| Giorni | Aula | Orario |
| 20/02/2023 | Lab. Laurea Magistrale 3° floor - Via Celoria 18 - 20133 Milan |
10:00-13:00 14:00-16:00 |
| 21/02/2023 | Lab. Laurea Magistrale 3° floor - Via Celoria 18 - 20133 Milan |
11:00-13:00 14:00-16:00 |
| 22/02/2023 | Lab. Laurea Magistrale 5° floor - Via Celoria 18 - 20133 Milan |
11:00-13:00 14:00-16:00 |
| 23/02/2023 | Lab. Laurea Magistrale 3° floor - Via Celoria 18 - 20133 Milan |
11:00-13:00 14:00-16:00 |
| 24/02/2023 | Lab. Laurea Magistrale 3° floor - Via Celoria 18 - 20133 Milan |
11:00-13:00 14:00-16:00 |
Suggested Readings
Basic notions of combinatorics, logics, linear algebra, probability theory, and programming principles are expected.