Robert K\"onighofer (Graz University of Technology

Identifiers

No identifiers captured yet.

Papers (1)

1. The Second Reactive Synthesis Competition (SYNTCOMP 2015) cs.LO · 2016 · author #9

Mentions

No mention provenance yet.

Frequent Coauthors

• Adam Walker (NICTA 1 shared papers
• Australia 1 shared papers
• Australia) 1 shared papers
• Austria) 1 shared papers
• Belgium) 1 shared papers
• Brussels 1 shared papers
• Carnegie Mellon University 1 shared papers
• Germany) 1 shared papers
• Guillermo A. P\'erez (Universit\'e Libre de Bruxelles 1 shared papers
• Jean-Fran\c{c}ois Raskin (Universit\'e Libre de Bruxelles 1 shared papers
• Leander Tentrup (Saarland University 1 shared papers
• Leonid Ryzhyk (NICTA 1 shared papers
• Linz 1 shared papers
• Martina Seidl (Johannes-Kepler-University 1 shared papers
• Ocan Sankur (Universit\'e Libre de Bruxelles 1 shared papers
• Pittsburgh 1 shared papers
• Roderick Bloem (Graz University of Technology 1 shared papers
• Romain Brenguier (Universit\'e Libre de Bruxelles 1 shared papers
• Saarbr\"ucken 1 shared papers
• Swen Jacobs (Saarland University 1 shared papers