This advanced seminar focused on current research trends in model checking. Based on recent conference and journal publications, students explored specific subtopics and presented their findings in a block seminar format.

Supervised Topics

As a seminar supervisor, I mentored students on the following research topics:

• Learning Generalized Stochastic Petri Nets From Event Data
  (Paper by van der Aalst & Leemans, 2025) – Student: Ha Dang

• Bisimulation Learning
  (Paper by Abate, Giacobbe, Schnitzer, 2024) – Student: Felipe Bönnen