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

Contact

Max Planck Institute for Software Systems
Building G 26
Paul-Ehrlich-Strasse
67663 Kaiserslautern, Germany

Please see our personal websites linked at our members page, for more detailed contact information.

Data Protection | Imprint