What are Strategies in Delay Games? Borel Determinacy for Games with Lookahead. - Felix Klein 001; Martin Zimmermann 002 (CSL, 2015)

Bounded Cycle Synthesis. - Bernd Finkbeiner; Felix Klein 001 (CAV (1), 2016)

Prompt Delay. - Felix Klein 001; Martin Zimmermann 002 (FSTTCS, 2016)

A High-Level LTL Synthesis Format: TLSF v1.1. - Swen Jacobs; Felix Klein 001; Sebastian Schirmer (SYNT@CAV, 2016)

The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results. - Swen Jacobs; Roderick Bloem; Romain Brenguier; Ayrat Khalimov 001; Felix Klein 001; Robert Könighofer; Jens Kreber; Alexander Legg; Nina Narodytska; Guillermo A. Pérez 001; Jean-François Raskin; Leonid Ryzhyk; et al. (SYNT@CAV, 2016)

A High-Level LTL Synthesis Format: TLSF v1.0. - Swen Jacobs; Felix Klein 001 (CoRR, 2016)

How Much Lookahead is Needed to Win Infinite Games? - Felix Klein 001; Martin Zimmermann 002 (Log. Methods Comput. Sci., 2016)

Vehicle Platooning Simulations with Functional Reactive Programming. - Bernd Finkbeiner; Felix Klein 001; Ruzica Piskac; Mark Santolucito (SCAV@CPSWeek, 2017)

The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results. - Swen Jacobs; Nicolas Basset; Roderick Bloem; Romain Brenguier; Maximilien Colange; Peter Faymonville; Bernd Finkbeiner; Ayrat Khalimov 001; Felix Klein 001; Thibaud Michaud; Guillermo A. Pérez 001; Jean-François Raskin; et al. (SYNT@CAV, 2017)

Reactive Synthesis: Towards Output-Sensitive Algorithms. - Bernd Finkbeiner; Felix Klein 001 (Dependable Software Systems Engineering, 2017)

Bounded Synthesis of Reactive Programs. - Carsten Gerstacker; Felix Klein 001; Bernd Finkbeiner (ATVA, 2018)

Reactive Synthesis: Towards Output-Sensitive Algorithms. - Bernd Finkbeiner; Felix Klein 001 (CoRR, 2018)

Temporal Stream Logic: Synthesis Beyond the Bools. - Bernd Finkbeiner; Felix Klein 001; Ruzica Piskac; Mark Santolucito (CAV (1), 2019)

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

Synthesizing functional reactive programs. - Bernd Finkbeiner; Felix Klein 001; Ruzica Piskac; Mark Santolucito (Haskell@ICFP, 2019)

The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results. - Swen Jacobs; Roderick Bloem; Maximilien Colange; Peter Faymonville; Bernd Finkbeiner; Ayrat Khalimov 001; Felix Klein 001; Michael Luttenberger; Philipp J. Meyer; Thibaud Michaud; Mouhammad Sakr; Salomon Sickert; et al. (CoRR, 2019)

Synthesizing stream control. - Felix Klein 001 (2020)

Live synthesis. - Bernd Finkbeiner; Felix Klein 001; Niklas Metzger 001 (Innov. Syst. Softw. Eng., 2022)

The Reactive Synthesis Competition (SYNTCOMP): 2018-2021. - Swen Jacobs; Guillermo A. Pérez 001; Remco Abraham; Véronique Bruyère; Michaël Cadilhac; Maximilien Colange; Charly Delfosse; Tom van Dijk; Alexandre Duret-Lutz; Peter Faymonville; Bernd Finkbeiner; Ayrat Khalimov 001; et al. (Int. J. Softw. Tools Technol. Transf., 2024)