Michael Luttenberger

57 papers A* 1A 5B 6C 9Journal 26Unranked 7
YearRankTypeTitle / Venue / Authors
2024 — conf
Newton's Method - There and Back Again.
Taming the Infinities of Concurrency
Michael Luttenberger, Maximilian Schlund
2024 J jnl
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021.
Int. J. Softw. Tools Technol. Transf.
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
2023 B conf
Runtime Monitoring DNN-Based Perception - (via the Lens of Formal Methods).
RV
Chih-Hong Cheng, Michael Luttenberger, Rongjie Yan
2023 J jnl
Runtime Monitoring DNN-Based Perception.
CoRR
Chih-Hong Cheng, Michael Luttenberger, Rongjie Yan
2022 J jnl
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021.
CoRR
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
2021 J jnl
On the Balancedness of Tree-to-Word Transducers.
Int. J. Found. Comput. Sci.
Raphaela Löbel, Michael Luttenberger, Helmut Seidl
2020 C conf
Equivalence of Linear Tree Transducers with Output in the Free Group.
DLT
Raphaela Löbel, Michael Luttenberger, Helmut Seidl
2020 J jnl
Equivalence of Linear Tree Transducers with Output in the Free Group.
CoRR
Raphaela Löbel, Michael Luttenberger, Helmut Seidl
2020 C conf
On the Balancedness of Tree-to-Word Transducers.
DLT
Raphaela Löbel, Michael Luttenberger, Helmut Seidl
2020 J jnl
Practical synthesis of reactive systems from LTL specifications via parity games.
Acta Informatica
Michael Luttenberger, Philipp J. Meyer, Salomon Sickert
2019 J jnl
On the Balancedness of Tree-to-word Transducers.
CoRR
Raphaela Löbel, Michael Luttenberger, Helmut Seidl
2019 J jnl
Practical Synthesis of Reactive Systems from LTL Specifications via Parity Games.
CoRR
Michael Luttenberger, Philipp J. Meyer, Salomon Sickert
2019 J jnl
The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results.
CoRR
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
2018 A conf
Computing the Longest Common Prefix of a Context-free Language in Polynomial Time.
STACS
Michael Luttenberger, Raphaela Palenta, Helmut Seidl
2018 — conf
Strix: Explicit Reactive Synthesis Strikes Back!
CAV (1)
Philipp J. Meyer, Salomon Sickert, Michael Luttenberger
2017 J jnl
Computing the longest common prefix of a context-free language in polynomial time.
CoRR
Michael Luttenberger, Raphaela Palenta, Helmut Seidl
2017 J jnl
Quantitative Implementation Strategies for Safety Controllers.
CoRR
Philipp J. Meyer, Matthias Rungger, Michael Luttenberger, Javier Esparza, Majid Zamani
2016 J jnl
Convergence of Newton's Method over Commutative Semirings.
Inf. Comput.
Michael Luttenberger, Maximilian Schlund
2016 B conf
Solving Mean-Payoff Games on the GPU.
ATVA
Philipp J. Meyer, Michael Luttenberger
2015 J jnl
FPSOLVE: A Generic Solver for Fixpoint Equations Over Semirings.
Int. J. Found. Comput. Sci.
Javier Esparza, Michael Luttenberger, Maximilian Schlund
2015 C conf
Finite Automata for the Sub- and Superword Closure of CFLs: Descriptional and Computational Complexity.
LATA
Georg Bachmeier, Michael Luttenberger, Maximilian Schlund
2014 C conf
A Brief History of Strahler Numbers.
LATA
Javier Esparza, Michael Luttenberger, Maximilian Schlund
2014 C conf
FPsolve: A Generic Solver for Fixpoint Equations over Semirings.
CIAA
Javier Esparza, Michael Luttenberger, Maximilian Schlund
2014 A conf
Fast and Accurate Unlexicalized Parsing via Structural Annotations.
EACL
Maximilian Schlund, Michael Luttenberger, Javier Esparza
2014 J jnl
Finite Automata for the Sub- and Superword Closure of CFLs: Descriptional and Computational Complexity.
CoRR
Georg Bachmeier, Michael Luttenberger, Maximilian Schlund
2014 — conf
Regular Expressions for Provenance.
TAPP
Michael Luttenberger, Maximilian Schlund
2013 C conf
Convergence of Newton's Method over Commutative Semirings.
LATA
Michael Luttenberger, Maximilian Schlund
2013 B conf
Putting Newton into Practice: A Solver for Polynomial Equations over Semirings.
LPAR
Maximilian Schlund, Michal Terepeta, Michael Luttenberger
2013 B conf
Solving Parity Games on the GPU.
ATVA
Philipp Hoffmann, Michael Luttenberger
2012 J jnl
Space-efficient scheduling of stochastically generated tasks.
Inf. Comput.
Tomás Brázdil, Javier Esparza, Stefan Kiefer, Michael Luttenberger
2011 J jnl
An Extension of Parikh's Theorem beyond Idempotence
CoRR
Michael Luttenberger
2011 J jnl
Derivation tree analysis for accelerated fixed-point computation.
Theor. Comput. Sci.
Javier Esparza, Stefan Kiefer, Michael Luttenberger
2011 A conf
GAVS+: An Open Platform for the Research of Algorithmic Game Solving.
TACAS
Chih-Hong Cheng, Alois C. Knoll, Michael Luttenberger, Christian Buckl
2011 J jnl
Parikhʼs theorem: A simple and direct automaton construction.
Inf. Process. Lett.
Javier Esparza, Pierre Ganty, Stefan Kiefer, Michael Luttenberger
2011 B conf
Solving Fixed-Point Equations by Derivation Tree Analysis.
CALCO
Javier Esparza, Michael Luttenberger
2010 J jnl
Computing the Least Fixed Point of Positive Polynomial Systems
CoRR
Javier Esparza, Stefan Kiefer, Michael Luttenberger
2010 J jnl
Computing the Least Fixed Point of Positive Polynomial Systems.
SIAM J. Comput.
Javier Esparza, Stefan Kiefer, Michael Luttenberger
2010 B conf
GAVS: Game Arena Visualization and Synthesis.
ATVA
Chih-Hong Cheng, Christian Buckl, Michael Luttenberger, Alois C. Knoll
2010 — ch.
Lösen polynomieller Gleichungssysteme über Semiringen.
Ausgezeichnete Informatikdissertationen
Michael Luttenberger
2010 — ch.
Newtonian Program Analysis - An Introduction.
Logics and Languages for Reliability and Security
Javier Esparza, Michael Luttenberger
2010 J jnl
Newtonian program analysis.
J. ACM
Javier Esparza, Stefan Kiefer, Michael Luttenberger
2010 J jnl
Parikh's Theorem: A simple and direct construction
CoRR
Javier Esparza, Pierre Ganty, Stefan Kiefer, Michael Luttenberger
2010 — —
Solving Polynomial Systems on Semirings (Lösen polynomieller Systeme über Semiringen)
Michael Luttenberger
2010 — conf
Space-Efficient Scheduling of Stochastically Generated Tasks.
ICALP (2)
Tomás Brázdil, Javier Esparza, Stefan Kiefer, Michael Luttenberger
2010 J jnl
Space-efficient scheduling of stochastically generated tasks
CoRR
Tomás Brázdil, Javier Esparza, Stefan Kiefer, Michael Luttenberger
2009 — conf
Solving Fixed-Point Equations on omega-Continuous Semirings.
FICS
Javier Esparza, Stefan Kiefer, Michael Luttenberger
2008 J jnl
Convergence Thresholds of Newton's Method for Monotone Polynomial Equations
CoRR
Javier Esparza, Stefan Kiefer, Michael Luttenberger
2008 A conf
Convergence Thresholds of Newton's Method for Monotone Polynomial Equations.
STACS
Javier Esparza, Stefan Kiefer, Michael Luttenberger
2008 C conf
Derivation Tree Analysis for Accelerated Fixed-Point Computation.
Developments in Language Theory
Javier Esparza, Stefan Kiefer, Michael Luttenberger
2008 — conf
Newton's Method for omega-Continuous Semirings.
ICALP (2)
Javier Esparza, Stefan Kiefer, Michael Luttenberger
2008 — conf
Solving Monotone Polynomial Equations.
IFIP TCS
Javier Esparza, Stefan Kiefer, Michael Luttenberger
2008 J jnl
Strategy Iteration using Non-Deterministic Strategies for Solving Parity Games
CoRR
Michael Luttenberger
2007 C conf
An Extension of Newton's Method to
Developments in Language Theory
Javier Esparza, Stefan Kiefer, Michael Luttenberger
2007 A conf
On Fixed Point Equations over Commutative Semirings.
STACS
Javier Esparza, Stefan Kiefer, Michael Luttenberger
2007 A* conf
On the convergence of Newton's method for monotone systems of polynomial equations.
STOC
Stefan Kiefer, Michael Luttenberger, Javier Esparza
2006 C conf
Reachability Analysis of Procedural Programs with Affine Integer Arithmetic.
CIAA
Michael Luttenberger
2004 J jnl
Hierarchical Splatting of Scattered 4D Data.
IEEE Computer Graphics and Applications
Matthias Hopf, Michael Luttenberger, Thomas Ertl