Bernd Finkbeiner (1)
Identifiers
No identifiers captured yet.
Papers (3)
- The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results cs.LO · 2017 · author #7
- Symbolic vs. Bounded Synthesis for Petri Games cs.LO · 2017 · author #1
- Real-time Stream-based Monitoring cs.LO · 2017 · author #2
Mentions
No mention provenance yet.
Frequent Coauthors
- Peter Faymonville (1) 2 shared papers
- (2) Universit\'e Libre de Bruxelles 1 shared papers
- (2) University of Oldenburg) 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
- EPITA 1 shared papers
- Ernst-R\"udiger Olderog (2) ((1) Saarland University 1 shared papers
- Felix Klein (1) 1 shared papers
- Guillermo A. P\'erez (2) 1 shared papers
- Hazem Torfah (1) ((1) Saarland University) 1 shared papers
- IRISA) 1 shared papers
- Jean-Fran\c{c}ois Raskin (2) 1 shared papers
- Jesko Hecking-Harbusch (1) 1 shared papers
- Leander Tentrup (1) ((1) Saarland University 1 shared papers
- Manuel Gieseking (2) 1 shared papers
- Maximilian Schwenger (1) 1 shared papers
- Maximilien Colange (5) 1 shared papers