Reactive Systems Group
We develop algorithms and tools for the synthesis and verification of reactive systems.
- Read our research profile
- How to join us
- Test our tools
- Browse our publications
News
- Participate in SYNTCOMP, the second edition of the reactive synthesis competition!
Lectures
Summer 2015
- Advanced lecture: Automata, Games and Verification.
- Advanced lecture: Recursion Theory.
Winter 2014/15
- Vorlesung: Einführung in eingebettete Systeme.
- Vorlesung: Programmierung 1.
Recent Publications
- FSTTCS 2014: Hazem Torfah and Martin Zimmermann. The Complexity of Counting Models of Linear-time Temporal Logic.
- TCS: Daniel Neider, Roman Rabinovich, Martin Zimmermann. Down the Borel Hierarchy: Solving Muller Games via Safety Games.
- it: Bernd Finkbeiner, Markus N. Rabe. The Linear-Hyper-Branching Spectrum of Temporal Logics.
- GandALF 2014: Bernd Finkbeiner, Ernst-Rüdiger Olderog. Petri Games: Synthesis of Distributed Systems with Causal Memory.