Advanced Topics in Computer Science: Probabilistic and Statistical Verification
Indice degli argomenti
-
OBJECTIVE
The objective of the course is to expand upon basic notions of verification and develop a thorough understanding of probabilistic model checking over Markov models. Lectures will cover algorithms for verification and synthesis. Towards the end of the course, we provide an introduction to advanced topics and vistas in probabilistic models and in verification techniques and tools.INSTRUCTOR
Alessandro Abate is Professor of Verification and Control at the Computer Science Department of the University of Oxford (https://www.cs.ox.ac.uk/people/alessandro.abate/), where he also served as Deputy Head of Department. Earlier, he did research at Stanford University and at SRI International, and was an Assistant Professor at the Delft Center for Systems and Control, TU Delft. He received a Laurea degree from the University of Padua and MS/PhD at UC Berkeley. His research work spans logic, probability, control, and AI. His interests lie in the analysis, verification, and optimal control of heterogeneous and complex dynamical models and in their applications in cyber-physical systems, particularly in assured autonomy and energy systems. -
SCHEDULE
The course will start on March 18, and have three lessons per week on- Mon 8:45-10:15 - 1BC/50
- Tue 16:30-18:00 - 1BC/50
- Wed 12:30-14:00 - 1BC/45
- (when announced in class) Thu 12:30-14:00 - 1BC/45
-
-
Lecture 2, Tue 19 March:
Passcode: 9QTp+.0c
Lecture 3, Wed 20 March:
Passcode: KB*5gT@4
Lecture 4, Mon 25 March:
Passcode: mh1&$qJm
Lecture 5, Tue 26 March:
Passcode: wKT#5Xp8
Lecture 6, Wed 27 March:
Passcode: $E?05?re
Exercise Session, Thu 28 March.
Lecture 8, Wed 3 April:
Passcode: 0t&gAYgi
Seminar, Wed 3 April:
Passcode: 6.DaQh4H
Lecture 9, Thu 4 April:
Passcode: A*zbBJ#5
Lecture 10, Mon 8 April:
Passcode: J9ZrqU.W
Exercise Session, Tue 9 April.
Lecture 12, Wed 10 April:
Passcode: r3w0iiF&
Lecture 13, Thu 11 April:
Passcode: 8Gw5zb@^
Lecture 14, Mon 15 April:
Passcode: Ug=54dZ+
Lecture 15, Wed 17 April:
Passcode: 2qr%ySe0
-
TBA