Felix Klein

Felix Klein

About Me

I am a Ph.D. student in the Reactive Systems Group at the Computer Science Department at Saarland University.

Contact

Reactive Systems Group
Saarland University
Building: E 1 1, Room: 1.16.3
Phone: +49 681 302 5656
eMail: fklein at cs.uni-saarland.de

Research

My research interests lie in the areas of synthesis and infinite games. In particular, I am interested in improving the synthesis process by finding suitable criteria that efficiently bound the solution space. Furthermore, I study the creation of easy to verify certificates for the synthesized solutions and corresponding game models to support these techniques.

Publications

Prompt Delay

with Martin Zimmermann
36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, to appear

How much lookahead is needed to win infinite games?

with Martin Zimmermann
Logical Methods in Computer Science, Volume 12, Issue 3, LMCS

The Third Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants and Results

with Swen Jacobs, Roderick Bloem, Romain Brenguier, Ayrat Khalimov, Robert K├Ânighofer, Jens Kreber, Alexander Legg, Nina Narodytska, Guillermo A. Perez, Jean-Francois Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup and Adam Walker
5th Workshop on Synthesis, SYNT 2016

A High-Level LTL Synthesis Format: TLSF v1.1

with Swen Jacobs and Sebastian Schirmer
5th Workshop on Synthesis, SYNT 2016

Bounded Cycle Synthesis

with Bernd Finkbeiner
28th International Conference on Computer Aided Verification, CAV 2016

What are Strategies in Delay Games? Borel Determinacy for Games with Lookahead

with Martin Zimmermann
24th EACSL Annual Conference on Computer Science Logic, CSL 2015

How much lookahead is needed to win infinite games?

with Martin Zimmermann
42nd International Colloquium on Automata, Languages, and Programming, ICALP 2015

Teaching

Summer 2016 Tutor for the core lecture Embedded Systems
Summer 2015 Assistant for the advanced lecture Automata, Games and Verification
Summer 2014 Assistant for the core lecture Embedded Systems
Summer 2014 Advisor for the seminar Advanced Topics in Infinite Games
Winter 2013 / 2014 Assistant for the advanced lecture Infinite Games
Winter 2013 / 2014 Assistant for the lecture Einf├╝hrung in eingebettete Systeme
Winter 2013 / 2014 Advisor for the proseminar The Time Machine
Summer 2013 Tutor for the core lecture Verification
Winter 2012 / 2013 Tutor for the advanced lecture Automata, Games and Verification
Summer 2012 Tutor for the lecture Concurrent Programming at the Dependable Systems Chair
Winter 2011 / 2012 Supervision Tutor for the lecture Programming 1 at the Dependable Systems Chair
Winter 2011 / 2012 Tutor for the core lecture Compiler Construction at the Compiler Design Lab
Summer 2011 Tutor for the lecture Concurrent Programming at the Dependable Systems Chair
Winter 2010 / 2011 Tutor for the lecture Programming 1 at the Programming Systems Lab