Algorithms for Model Checking, Winter 2023

Graduate seminar, Institute for Informatics, LMU Munich, 2023

I initiated and organized this seminar on model checking. Students were given weekly reading assignments in the first half of the seminar. In the second half, each student was assigned a research paper and asked to present it both orally and in a seminar report.