Leander Tentrup (1) ((1) Saarland University
Identifiers
No identifiers captured yet.
Papers (1)
- The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results cs.LO · 2017 · author #14
Mentions
No mention provenance yet.
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
- Felix Klein (1) 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
- 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
- Swen Jacobs (1) 1 shared papers
- Thibaud Michaud (5) 1 shared papers