( en | de | ru )

 

Disambiguation of "Lehtinen, Karoliina"

Author of the publication

copydeleteadd this publication to your clipboard
A Recursive Approach to Solving Parity Games in Quasipolynomial Time.

, , , and . Log. Methods Comput. Sci., (2022)

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.

Karoliina Pelttari

Riia Karoliina Junnila

Emma Karoliina Seppälä

 

Other publications of authors with the same name

A Recursive Approach to Solving Parity Games in Quasipolynomial Time., , , and . CoRR, (2021)Good-for-games ω-Pushdown Automata., and . Log. Methods Comput. Sci., (2022)Testing Equivalence vs. Runtime Monitoring., , , , and . Models, Languages, and Tools for Concurrent and Distributed Programming, volume 11665 of Lecture Notes in Computer Science, page 28-44. Springer, (2019)Parikh Automata over Infinite Words., , , and . FSTTCS, volume 250 of LIPIcs, page 40:1-40:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)On the Translation of Automata to Linear Temporal Logic., , and . FoSSaCS, volume 13242 of Lecture Notes in Computer Science, page 140-160. Springer, (2022)Register Games., and . Log. Methods Comput. Sci., (2020)Improving the complexity of Parys' recursive algorithm., , and . CoRR, (2019)Register Games., and . CoRR, (2019)Token Games and History-Deterministic Quantitative-Automata., and . Log. Methods Comput. Sci., (2023)A modal μ perspective on solving parity games in quasi-polynomial time.. LICS, page 639-648. ACM, (2018)