Reactive Systems Group

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

Current Lectures

Recent Publications



more…