Felix Klein (1)

Identifiers

• name variant Felix Klein (1) 0.60 · backfill

Papers (2)

1. The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results cs.LO · 2017 · author #9
2. How Much Lookahead is Needed to Win Infinite Games? cs.GT · 2014 · author #1

Mentions

• 1412.3701 #1 · backfill · confidence 0.70 Felix Klein (1)

Frequent Coauthors

• (2) Universit\'e Libre de Bruxelles 1 shared papers
• (3) Graz University of Technology 1 shared papers
• (4) University of Oxford 1 shared papers
• (5) LRDE 1 shared papers
• (6) CNRS 1 shared papers
• Ayrat Khalimov (3) 1 shared papers
• Bernd Finkbeiner (1) 1 shared papers
• EPITA 1 shared papers
• Germany) 1 shared papers
• Guillermo A. P\'erez (2) 1 shared papers
• IRISA) 1 shared papers
• Jean-Fran\c{c}ois Raskin (2) 1 shared papers
• Leander Tentrup (1) ((1) Saarland University 1 shared papers
• Martin Zimmermann (1) ((1) Reactive Systems Group 1 shared papers
• Maximilien Colange (5) 1 shared papers
• Nicolas Basset (2) 1 shared papers
• Ocan Sankur (6) 1 shared papers
• Peter Faymonville (1) 1 shared papers
• Roderick Bloem (3) 1 shared papers
• Romain Brenguier (4) 1 shared papers