Reactive Systems Group

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

Teaching



more…

Recent Publications



more…