Felix Klein

Publication Activity (10 Years)

Years Active: 2015-2022
Publications (10 Years): 25

Top Topics

Mazurkiewicz Traces

Program Synthesis

International Planning Competition

Top Venues

Publications

Bernd Finkbeiner, Felix Klein, Niklas Metzger
Live synthesis. Innov. Syst. Softw. Eng. 18 (3) (2022)
Swen Jacobs, Guillermo A. Pérez, 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, Felix Klein, Michael Luttenberger, Klara J. Meyer, Thibaud Michaud, Adrien Pommellet, Florian Renkin, Philipp Schlehuber-Caissier, Mouhammad Sakr, Salomon Sickert, Gaëtan Staquet, Clément Tamines, Leander Tentrup, Adam Walker
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021. CoRR (2022)
Bernd Finkbeiner, Felix Klein, Niklas Metzger
Live Synthesis. CoRR (2021)
Gideon Geier, Philippe Heim, Felix Klein, Bernd Finkbeiner
Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications. CoRR (2021)
Bernd Finkbeiner, Felix Klein, Niklas Metzger
Live Synthesis. ATVA (2021)
Gideon Geier, Philippe Heim, Felix Klein, Bernd Finkbeiner
Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications. FMCAD (2019)
Swen Jacobs, Roderick Bloem, Maximilien Colange, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Michael Luttenberger, Philipp J. Meyer, Thibaud Michaud, Mouhammad Sakr, Salomon Sickert, Leander Tentrup, Adam Walker
The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results. CoRR (2019)
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
Synthesizing functional reactive programs. Haskell@ICFP (2019)
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
Temporal Stream Logic: Synthesis Beyond the Bools. CAV (1) (2019)
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
Synthesizing Functional Reactive Programs. CoRR (2019)
Bernd Finkbeiner, Felix Klein
Reactive Synthesis: Towards Output-Sensitive Algorithms. CoRR (2018)
Carsten Gerstacker, Felix Klein, Bernd Finkbeiner
Bounded Synthesis of Reactive Programs. ATVA (2018)
Carsten Gerstacker, Felix Klein, Bernd Finkbeiner
Bounded Synthesis of Reactive Programs. CoRR (2018)
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
Vehicle Platooning Simulations with Functional Reactive Programming. CoRR (2018)
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
Temporal Stream Logic: Synthesis beyond the Bools. CoRR (2017)
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
Vehicle Platooning Simulations with Functional Reactive Programming. SCAV@CPSWeek (2017)
Swen Jacobs, Nicolas Basset, Roderick Bloem, Romain Brenguier, Maximilien Colange, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Thibaud Michaud, Guillermo A. Pérez, Jean-François Raskin, Ocan Sankur, Leander Tentrup
The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results. SYNT@CAV (2017)
Swen Jacobs, Roderick Bloem, Romain Brenguier, Ayrat Khalimov, Felix Klein, Robert Könighofer, Jens Kreber, Alexander Legg, Nina Narodytska, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker
The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results. SYNT@CAV (2016)
Felix Klein, Martin Zimmermann
Prompt Delay. FSTTCS (2016)
Felix Klein, Martin Zimmermann
Prompt Delay. CoRR (2016)
Felix Klein, Martin Zimmermann
How Much Lookahead is Needed to Win Infinite Games? Log. Methods Comput. Sci. 12 (3) (2016)
Bernd Finkbeiner, Felix Klein
Bounded Cycle Synthesis. CoRR (2016)
Swen Jacobs, Felix Klein, Sebastian Schirmer
A High-Level LTL Synthesis Format: TLSF v1.1. SYNT@CAV (2016)
Bernd Finkbeiner, Felix Klein
Bounded Cycle Synthesis. CAV (1) (2016)
Swen Jacobs, Felix Klein
A High-Level LTL Synthesis Format: TLSF v1.0. CoRR (2016)
Felix Klein, Martin Zimmermann
What are Strategies in Delay Games? Borel Determinacy for Games with Lookahead. CSL (2015)
Felix Klein, Martin Zimmermann
How Much Lookahead is Needed to Win Infinite Games? ICALP (2) (2015)
Felix Klein, Martin Zimmermann
What are Strategies in Delay Games? Borel Determinacy for Games with Lookahead. CoRR (2015)