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 more about our vision for CPS research at MPI-SWS see this short video. For a more in-depth view, you are invited to browse our research projects and publications.
News
- 05/26 — I will be giving an invited talk at the “Computation-Aware Algorithmic Design for Cyber-Physical Systems” workshop at CPS-IoT-Week in Saint Malo!
- 04/26 — Our TAC paper on “Synthesis of Decentralized Supervisory Control via Contract Negotiation” has finally appeared!
- 04/26 — Very proud about our successful application of logical control to robotics for “context-triggered contingency games” ( video) which will appear at ICRA’26 and for “Adaptive human-robot collaboration” (video)
- 04/26 — Happy to be giving an invited talk in the CFV seminar series at the Université Libre de Bruxelles
- 03/26 — Congratulations to our very first CSS group graduate Dr. Satya Prakash Nayak who successfully defended his thesis at MPI-SWS!
- 03/26 — Ever wondered why shielding is typically used only to enforce safety properties? We present STARS — Strategy-Template-based Adaptive Runtime Shields at AMAAS’26 which allow for maximal permissive shielding of any omega-regular property. Check out our web-GUI for shielding a factory bot, and videos from shielding lunar lander.
- 02/26 — Our paper on “Concurrent Permissive Strategy Templates” will appear at TACAS’26
- 11/25 — Very proud that our papers on “Incremental Data-Driven Policy Synthesis via Game Abstractions” (oral — 4.6% acceptance rate) and “Universal Safety Controllers with Learned Prophecies” (poster — 17.6% acceptance rate) got accepted to AAAI’26!
- 10/25 — The Oxford-MaxPlanck PhD student Filip Jasionowicz has joined the CSS group. He is co-advised by myself and Sandra Kiefer in Oxford. Welcome Filip!
- 8/25 — Our papers on Data-Driven Abstraction and Synthesis for Stochastic Systems with Unknown Dynamics and “Distributed Contract Negotiation for Decentralised Supervisory Control beyond Two-Components Architectures” got accepted to CDC’25!
- 8/25 — Our paper on “Quantitative Strategy Templates” got accepted to ATVA’25!
- 7/25 — Happy to be giving invited talks at the Mentoring and VeriProp workshop at CAV’25.
- 3/25 — Happy to be giving an invited talk at GT DAAL 2025, Paris!