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

Summer 2015

Winter 2014/15

more…

Recent Publications

more…