Michael Luttenberger

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 18

Top Topics

Finite Automata

Top Venues

Int. J. Found. Comput. Sci.

Publications

Michael Luttenberger, Maximilian Schlund
Newton's Method - There and Back Again. Taming the Infinities of Concurrency (2024)
Chih-Hong Cheng, Michael Luttenberger, Rongjie Yan
Runtime Monitoring DNN-Based Perception - (via the Lens of Formal Methods). RV (2023)
Chih-Hong Cheng, Michael Luttenberger, Rongjie Yan
Runtime Monitoring DNN-Based Perception. CoRR (2023)
Swen Jacobs, Guillermo A. Pérez, Remco Abraham, Véronique Bruyère, Michaël Cadilhac, Maximilien Colange, Charly Delfosse, Tom van Dijk, Alexandre Duret-Lutz, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Michael Luttenberger, Klara J. Meyer, Thibaud Michaud, Adrien Pommellet, Florian Renkin, Philipp Schlehuber-Caissier, Mouhammad Sakr, Salomon Sickert, Gaëtan Staquet, Clément Tamines, Leander Tentrup, Adam Walker
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021. CoRR (2022)
Raphaela Löbel, Michael Luttenberger, Helmut Seidl
On the Balancedness of Tree-to-Word Transducers. Int. J. Found. Comput. Sci. 32 (6) (2021)
Raphaela Löbel, Michael Luttenberger, Helmut Seidl
Equivalence of Linear Tree Transducers with Output in the Free Group. CoRR (2020)
Raphaela Löbel, Michael Luttenberger, Helmut Seidl
Equivalence of Linear Tree Transducers with Output in the Free Group. DLT (2020)
Michael Luttenberger, Philipp J. Meyer, Salomon Sickert
Practical synthesis of reactive systems from LTL specifications via parity games. Acta Informatica 57 (1-2) (2020)
Raphaela Löbel, Michael Luttenberger, Helmut Seidl
On the Balancedness of Tree-to-Word Transducers. DLT (2020)
Swen Jacobs, Roderick Bloem, Maximilien Colange, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Michael Luttenberger, Philipp J. Meyer, Thibaud Michaud, Mouhammad Sakr, Salomon Sickert, Leander Tentrup, Adam Walker
The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results. CoRR (2019)
Raphaela Löbel, Michael Luttenberger, Helmut Seidl
On the Balancedness of Tree-to-word Transducers. CoRR (2019)
Michael Luttenberger, Philipp J. Meyer, Salomon Sickert
Practical Synthesis of Reactive Systems from LTL Specifications via Parity Games. CoRR (2019)
Philipp J. Meyer, Salomon Sickert, Michael Luttenberger
Strix: Explicit Reactive Synthesis Strikes Back! CAV (1) (2018)
Michael Luttenberger, Raphaela Palenta, Helmut Seidl
Computing the Longest Common Prefix of a Context-free Language in Polynomial Time. STACS (2018)
Michael Luttenberger, Raphaela Palenta, Helmut Seidl
Computing the longest common prefix of a context-free language in polynomial time. CoRR (2017)
Philipp J. Meyer, Matthias Rungger, Michael Luttenberger, Javier Esparza, Majid Zamani
Quantitative Implementation Strategies for Safety Controllers. CoRR (2017)
Philipp J. Meyer, Michael Luttenberger
Solving Mean-Payoff Games on the GPU. ATVA (2016)
Michael Luttenberger, Maximilian Schlund
Convergence of Newton's Method over Commutative Semirings. Inf. Comput. 246 (2016)
Georg Bachmeier, Michael Luttenberger, Maximilian Schlund
Finite Automata for the Sub- and Superword Closure of CFLs: Descriptional and Computational Complexity. LATA (2015)
Javier Esparza, Michael Luttenberger, Maximilian Schlund
FPSOLVE: A Generic Solver for Fixpoint Equations Over Semirings. Int. J. Found. Comput. Sci. 26 (7) (2015)
Georg Bachmeier, Michael Luttenberger, Maximilian Schlund
Finite Automata for the Sub- and Superword Closure of CFLs: Descriptional and Computational Complexity. CoRR (2014)
Michael Luttenberger, Maximilian Schlund
Regular Expressions for Provenance. TAPP (2014)
Javier Esparza, Michael Luttenberger, Maximilian Schlund
A Brief History of Strahler Numbers. LATA (2014)
Maximilian Schlund, Michael Luttenberger, Javier Esparza
Fast and Accurate Unlexicalized Parsing via Structural Annotations. EACL (2014)
Javier Esparza, Michael Luttenberger, Maximilian Schlund
FPsolve: A Generic Solver for Fixpoint Equations over Semirings. CIAA (2014)
Philipp Hoffmann, Michael Luttenberger
Solving Parity Games on the GPU. ATVA (2013)
Maximilian Schlund, Michal Terepeta, Michael Luttenberger
Putting Newton into Practice: A Solver for Polynomial Equations over Semirings. LPAR (2013)
Michael Luttenberger, Maximilian Schlund
Convergence of Newton's Method over Commutative Semirings. LATA (2013)
Tomás Brázdil, Javier Esparza, Stefan Kiefer, Michael Luttenberger
Space-efficient scheduling of stochastically generated tasks. Inf. Comput. 210 (2012)
Michael Luttenberger
An Extension of Parikh's Theorem beyond Idempotence CoRR (2011)
Chih-Hong Cheng, Alois C. Knoll, Michael Luttenberger, Christian Buckl
GAVS+: An Open Platform for the Research of Algorithmic Game Solving. TACAS (2011)
Javier Esparza, Michael Luttenberger
Solving Fixed-Point Equations by Derivation Tree Analysis. CALCO (2011)
Javier Esparza, Stefan Kiefer, Michael Luttenberger
Derivation tree analysis for accelerated fixed-point computation. Theor. Comput. Sci. 412 (28) (2011)
Javier Esparza, Pierre Ganty, Stefan Kiefer, Michael Luttenberger
Parikhʼs theorem: A simple and direct automaton construction. Inf. Process. Lett. 111 (12) (2011)
Tomás Brázdil, Javier Esparza, Stefan Kiefer, Michael Luttenberger
Space-efficient scheduling of stochastically generated tasks CoRR (2010)
Javier Esparza, Stefan Kiefer, Michael Luttenberger
Computing the Least Fixed Point of Positive Polynomial Systems CoRR (2010)
Tomás Brázdil, Javier Esparza, Stefan Kiefer, Michael Luttenberger
Space-Efficient Scheduling of Stochastically Generated Tasks. ICALP (2) (2010)
Javier Esparza, Stefan Kiefer, Michael Luttenberger
Newtonian program analysis. J. ACM 57 (6) (2010)
Michael Luttenberger
Lösen polynomieller Gleichungssysteme über Semiringen. Ausgezeichnete Informatikdissertationen (2010)
Chih-Hong Cheng, Christian Buckl, Michael Luttenberger, Alois C. Knoll
GAVS: Game Arena Visualization and Synthesis. ATVA (2010)
Javier Esparza, Pierre Ganty, Stefan Kiefer, Michael Luttenberger
Parikh's Theorem: A simple and direct construction CoRR (2010)
Javier Esparza, Stefan Kiefer, Michael Luttenberger
Computing the Least Fixed Point of Positive Polynomial Systems. SIAM J. Comput. 39 (6) (2010)
Javier Esparza, Stefan Kiefer, Michael Luttenberger
Solving Fixed-Point Equations on omega-Continuous Semirings. FICS (2009)
Javier Esparza, Stefan Kiefer, Michael Luttenberger
Solving Monotone Polynomial Equations. IFIP TCS (2008)
Javier Esparza, Stefan Kiefer, Michael Luttenberger
Derivation Tree Analysis for Accelerated Fixed-Point Computation. Developments in Language Theory (2008)
Javier Esparza, Stefan Kiefer, Michael Luttenberger
Convergence Thresholds of Newton's Method for Monotone Polynomial Equations CoRR (2008)
Javier Esparza, Stefan Kiefer, Michael Luttenberger
Convergence Thresholds of Newton's Method for Monotone Polynomial Equations. STACS (2008)
Michael Luttenberger
Strategy Iteration using Non-Deterministic Strategies for Solving Parity Games CoRR (2008)
Javier Esparza, Stefan Kiefer, Michael Luttenberger
Newton's Method for omega-Continuous Semirings. ICALP (2) (2008)
Javier Esparza, Stefan Kiefer, Michael Luttenberger
-Continuous Semirings. Developments in Language Theory (2007)
Javier Esparza, Stefan Kiefer, Michael Luttenberger
On Fixed Point Equations over Commutative Semirings. STACS (2007)
Stefan Kiefer, Michael Luttenberger, Javier Esparza
On the convergence of Newton's method for monotone systems of polynomial equations. STOC (2007)
Michael Luttenberger
Reachability Analysis of Procedural Programs with Affine Integer Arithmetic. CIAA (2006)
Matthias Hopf, Michael Luttenberger, Thomas Ertl
Hierarchical Splatting of Scattered 4D Data. IEEE Computer Graphics and Applications 24 (4) (2004)