I am a faculty member at the Max Planck Institute for Software Systems in Kaiserslautern, Germany, leading the Control Software Systems Group which is additionally funded by the Emmy Noether Programme of the German Science Foundation (DFG). If you want to know what I’m working on, check out this very recent academic story explaining our research to a general audience or visit our group research page.
News
- 2/24 — Two papers accepted at HSCC’24 and one paper accepted at WODES’24 (see papers)!
- 1/24 — I’m honored to be invited to give a keynote talk at ATVA’24 in Kyoto, Japan!
- 12/24 — Our paper on “Most General Winning Secure Equilibria Synthesis in Graph Games” got accepted to TACAS’24.
- 10/23 — Our paper on “Solving Two-Player Games under Progress Assumptions” got accepted to VMCAI’24.
- 09/23 — Our paper on “Symbolic control for stochastic systems via finite parity games” finally appeared in the NAHS journal!
- 09/23 — Our paper on “Solving Odd-fair Parity Games” got accepted to FSTTCS’23!
- 09/23 — Our paper on “Context-Triggered Abstraction-Based Control Design” appeared in the IEEE Open Journal of Control Systems.