Reactive Systems Group

We develop algorithms and tools for the synthesis and verification of reactive systems.

group photo

GandALF 2018

The Reactive Systems Group hosts GandALF 2018.

Busy Beaver 2018

The 2017/2018 edition of our lecture Programmierung 1 has received the Busy Beaver award for outstanding teaching performance.

Current Lectures

Recent Publications