( en | de | ru )

 

Disambiguierung von "Lehtinen, Karoliina"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
From Muller to Parity and Rabin Automata: Optimal Transformations Preserving (History-)Determinism.

, , , und . CoRR, (2023)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Karoliina Pelttari

Riia Karoliina Junnila

Emma Karoliina Seppälä

 

Weitere Publikationen von Autoren mit dem selben Namen

A Recursive Approach to Solving Parity Games in Quasipolynomial Time., , , und . CoRR, (2021)Good-for-games ω-Pushdown Automata., und . Log. Methods Comput. Sci., (2022)On the Translation of Automata to Linear Temporal Logic., , und . FoSSaCS, Volume 13242 von Lecture Notes in Computer Science, Seite 140-160. Springer, (2022)Testing Equivalence vs. Runtime Monitoring., , , , und . Models, Languages, and Tools for Concurrent and Distributed Programming, Volume 11665 von Lecture Notes in Computer Science, Seite 28-44. Springer, (2019)Parikh Automata over Infinite Words., , , und . FSTTCS, Volume 250 von LIPIcs, Seite 40:1-40:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)An operational guide to monitorability with applications to regular properties., , , , und . Softw. Syst. Model., 20 (2): 335-361 (2021)Register Games., und . Log. Methods Comput. Sci., (2020)∑μ2 is decidable for ∏μ2., und . CiE, Volume 10307 von Lecture Notes in Computer Science, Seite 292-303. Springer, (2017)A modal μ perspective on solving parity games in quasi-polynomial time.. LICS, Seite 639-648. ACM, (2018)Alternating Weak Automata from Universal Trees., , und . CoRR, (2019)