Probabilistic Model Checking for Complex, Self-Organising Systems
A.Y. 2022/2023
Course offered to students on the PhD programme in
Visit the PhD website for the course schedule and other information
Lead instructor: Elvinia Maria Riccobene
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.
Basic notions of combinatorics, logics, linear algebra, probability theory, and programming principles are expected.
Assessment methods
Giudizio di approvazione
Assessment result
superato/non superato
How to enrol
Deadlines
The course enrolment deadline is usually the 27th day of the month prior to the start date.
How to enrol
- Access enrolment on PhD courses online service using your University login details
- Select the desired programme and click on Registration (Iscrizione) and then on Register (Iscriviti)
Ignore the option "Exam session date” that appears during the enrolment procedure.
Contacts
For help please contact [email protected]
Professor(s)
Reception:
on appointment
Dept. of Computer Science