Reactive Systems Group

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

group photo

Lectures

Summer 2015

Winter 2015/16

more…

Recent Publications