Michael Luttenberger

Identifiers

• name variant Michael Luttenberger 0.60 · backfill

Papers (10)

1. The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results cs.LO · 2019 · author #8
2. Quantitative Implementation Strategies for Safety Controllers cs.SY · 2017 · author #3
3. Computing the longest common prefix of a context-free language in polynomial time cs.FL · 2017 · author #1
4. Finite Automata for the Sub- and Superword Closure of CFLs: Descriptional and Computational Complexity cs.FL · 2014 · author #2
5. An Extension of Parikh's Theorem beyond Idempotence cs.FL · 2011 · author #1
6. Parikh's Theorem: A simple and direct automaton construction cs.FL · 2010 · author #4
7. Space-efficient scheduling of stochastically generated tasks cs.PF · 2010 · author #4
8. Computing the Least Fixed Point of Positive Polynomial Systems cs.NA · 2010 · author #3
9. Strategy Iteration using Non-Deterministic Strategies for Solving Parity Games cs.GT · 2008 · author #1
10. Convergence Thresholds of Newton's Method for Monotone Polynomial Equations cs.DS · 2008 · author #3

Mentions

• 1112.2864 #1 · backfill · confidence 0.70 Michael Luttenberger
• 1006.3825 #4 · backfill · confidence 0.70 Michael Luttenberger
• 1004.4286 #4 · backfill · confidence 0.70 Michael Luttenberger
• 1001.0340 #3 · backfill · confidence 0.70 Michael Luttenberger
• 0806.2923 #1 · backfill · confidence 0.70 Michael Luttenberger
• 0802.2856 #3 · backfill · confidence 0.70 Michael Luttenberger

Frequent Coauthors

• Javier Esparza 5 shared papers
• Stefan Kiefer 4 shared papers
• Maximilian Schlund 2 shared papers
• Philipp J. Meyer 2 shared papers
• Adam Walker 1 shared papers
• Ayrat Khalimov 1 shared papers
• Bernd Finkbeiner 1 shared papers
• Felix Klein 1 shared papers
• Georg Bachmeier 1 shared papers
• Helmut Seidl 1 shared papers
• Leander Tentrup 1 shared papers
• Majid Zamani 1 shared papers
• Matthias Rungger 1 shared papers
• Maximilien Colange 1 shared papers
• Mouhammad Sakr 1 shared papers
• Peter Faymonville 1 shared papers
• Pierre Ganty 1 shared papers
• Raphaela Palenta 1 shared papers
• Roderick Bloem 1 shared papers
• Salomon Sickert 1 shared papers