Reactive Systems Group

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




group photo



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



more…