Reactive Systems Group

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

group photo

News

  • Participate in SYNTCOMP, the second edition of the reactive synthesis competition!

Lectures

Winter 2015/16

Summer 2015

more…

Recent Publications

more…