( en | de | ru )

 

Disambiguation of "Luttenberger, Michael"

Author of the publication

copydeleteadd this publication to your clipboard
Practical synthesis of reactive systems from LTL specifications via parity games.

, , and . Acta Inf., 57 (1-2): 3-36 (2020)https://arxiv.org/abs/1903.12576.
DOI: 10.1007/s00236-019-00349-3

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Michael Luttenberger

Theodor Luttenberger

Klaus Luttenberger

Joram Luttenberger

Eduard Luttenberger

 

Other publications of authors with the same name

Computing the Longest Common Prefix of a Context-free Language in Polynomial Time., , and . STACS, volume 96 of LIPIcs, page 48:1-48:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Strategy Iteration using Non-Deterministic Strategies for Solving Parity Games. CoRR, (2008)Lösen polynomieller Gleichungssysteme über Semiringen.. Ausgezeichnete Informatikdissertationen, volume D-11 of LNI, GI, (2010)On the Balancedness of Tree-to-Word Transducers., , and . DLT, volume 12086 of Lecture Notes in Computer Science, page 222-236. Springer, (2020)Strix: Explicit Reactive Synthesis Strikes Back!, , and . CAV (1), volume 10981 of Lecture Notes in Computer Science, page 578-586. Springer, (2018)An Extension of Newton's Method to omega -Continuous Semirings., , and . Developments in Language Theory, volume 4588 of Lecture Notes in Computer Science, page 157-168. Springer, (2007)Solving Mean-Payoff Games on the GPU., and . ATVA, volume 9938 of Lecture Notes in Computer Science, page 262-267. (2016)Computing the longest common prefix of a context-free language in polynomial time., , and . CoRR, (2017)Reachability Analysis of Procedural Programs with Affine Integer Arithmetic.. CIAA, volume 4094 of Lecture Notes in Computer Science, page 281-282. Springer, (2006)Newtonian Program Analysis - An Introduction., and . Logics and Languages for Reliability and Security, volume 25 of NATO Science for Peace and Security Series - D: Information and Communication Security, IOS Press, (2010)