Philipp J. Meyer
Identifiers
No identifiers captured yet.
Papers (5)
- The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results cs.LO · 2019 · author #9
- Computing the Expected Execution Time of Probabilistic Workflow Nets cs.LO · 2018 · author #1
- Computing the concurrency threshold of sound free-choice workflow nets cs.LO · 2018 · author #1
- Quantitative Implementation Strategies for Safety Controllers cs.SY · 2017 · author #1
- Towards Efficient Verification of Population Protocols cs.LO · 2017 · author #4
Mentions
No mention provenance yet.
Frequent Coauthors
- Javier Esparza 4 shared papers
- Michael Luttenberger 2 shared papers
- Adam Walker 1 shared papers
- Ayrat Khalimov 1 shared papers
- Bernd Finkbeiner 1 shared papers
- Felix Klein 1 shared papers
- Hagen V\"olzer 1 shared papers
- Leander Tentrup 1 shared papers
- Majid Zamani 1 shared papers
- Matthias Rungger 1 shared papers
- Maximilien Colange 1 shared papers
- Michael Blondin 1 shared papers
- Mouhammad Sakr 1 shared papers
- Peter Faymonville 1 shared papers
- Philip Offtermatt 1 shared papers
- Roderick Bloem 1 shared papers
- Salomon Sickert 1 shared papers
- Stefan Jaax 1 shared papers
- Swen Jacobs 1 shared papers
- Thibaud Michaud 1 shared papers