Skip to content

Control Software Systems Group

at MPI-SWS in Kaiserslautern, Germany
  • Home
  • Members
  • Research
    • Overview
    • Permissive Templates
    • Assume/Guarantee SCT
    • Fairness Assumptions
    • Context-Triggered ABCD
    • SCT vs. RS
    • Symbolic Output-Feedback Control
    • Discretization-Based ABCD
  • Funding
  • Contact

Funding

Our group is additionally funded by the German Science Foundation (DFG) through the following projects:

  • 2023-2027 Transregional Collaborative Research Center “Foundations of Perspicuous Software Systems” (Phase 2)
    Project: “Distributed Knowledge and Information Flow” with co-PI Bernd Finkbeiner
  • 2020-2026 Emmy-Noether-Research-Grant
    Project: “Automated Modular Synthesis for Reliable Cyber Physical System Design”

 

 

 

 

 

 

 

 

News:

  • 04/26 — Our TAC paper on “Synthesis of Decentralized Supervisory Control via Contract Negotiation” has appeared!
  • 04/26 — Our paper on “Context-triggered contingency games” ( video)  will appear at ICRA’26
  • 03/26 — Congratulations to our CSS graduate Satya Prakash Nayak!
  • 03/26 — Our paper on  “Follow the STARs: Dynamic ω-Regular Shielding of Learned Policies” will appear at AMAAS’26 (web-GUI, videos).
  • 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!

Data Protection | Imprint