Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications. - Gideon Geier; Philippe Heim; Felix Klein 001; Bernd Finkbeiner (FMCAD, 2019)

Specification Decomposition for Reactive Synthesis (Full Version). - Bernd Finkbeiner; Gideon Geier; Noemi Passing (CoRR, 2021)

Specification decomposition for reactive synthesis. - Bernd Finkbeiner; Gideon Geier; Noemi Passing (Innov. Syst. Softw. Eng., 2023)