Karoliina Lehtinen

71 papers A* 6A 1B 12C 3Journal 38Unranked 11
YearRankTypeTitle / Venue / Authors
2025 A* conf
A Collapse of the Parity Index Hierarchy of Tree Automata, Based on Cantor-Bendixson Ranks.
ICALP
Karoliina Lehtinen, Nathan Lhote
2025 — conf
Explorability in Pushdown Automata.
FSTTCS
Ayaan Bedi, Karoliina Lehtinen
2025 J jnl
Explorability in Pushdown Automata.
CoRR
Ayaan Bedi, Karoliina Lehtinen
2025 J jnl
History-Deterministic Parikh Automata.
ACM Trans. Comput. Log.
Enzo Erlich, Mario Grobler, Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen, Martin Zimmermann
2025 B conf
Monitorability for the Modal Mu-Calculus over Systems with Data: From Practice to Theory.
CONCUR
Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
2025 J jnl
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory.
CoRR
Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
2025 A* conf
The 2-Token Theorem: Recognising History-Deterministic Parity Automata Efficiently.
STOC
Karoliina Lehtinen, Aditya Prakash
2025 J jnl
The 2-Token Theorem: Recognising History-Deterministic Parity Automata Efficiently.
CoRR
Karoliina Lehtinen, Aditya Prakash
2025 A* conf
Using Games and Universal Trees to Characterise the Nondeterministic Index of Tree Languages.
ICALP
Olivier Idir, Karoliina Lehtinen
2025 J jnl
Using games and universal trees to characterise the nondeterministic index of tree languages.
CoRR
Olivier Idir, Karoliina Lehtinen
2024 J jnl
A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct.
Log. Methods Comput. Sci.
Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen, Martin Zimmermann
2024 J jnl
From Muller to Parity and Rabin Automata: Optimal Transformations Preserving (History) Determinism.
TheoretiCS
Antonio Casares, Thomas Colcombet, Nathanaël Fijalkow, Karoliina Lehtinen
2024 B conf
History-Determinism vs Fair Simulation.
CONCUR
Udi Boker, Thomas A. Henzinger, Karoliina Lehtinen, Aditya Prakash
2024 J jnl
History-Determinism vs Fair Simulation.
CoRR
Udi Boker, Thomas A. Henzinger, Karoliina Lehtinen, Aditya Prakash
2024 J jnl
History-deterministic Timed Automata.
Log. Methods Comput. Sci.
Sougata Bose, Thomas A. Henzinger, Karoliina Lehtinen, Sven Schewe, Patrick Totzke
2024 J jnl
Mostowski Index via extended register games.
CoRR
Olivier Idir, Karoliina Lehtinen
2023 A conf
A Brief History of History-Determinism (Invited Talk).
STACS
Karoliina Lehtinen
2023 J jnl
From Muller to Parity and Rabin Automata: Optimal Transformations Preserving (History-)Determinism.
CoRR
Antonio Casares, Thomas Colcombet, Nathanaël Fijalkow, Karoliina Lehtinen
2023 B conf
History-Deterministic Parikh Automata.
CONCUR
Enzo Erlich, Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen, Martin Zimmermann
2023 J jnl
History-deterministic Timed Automata.
CoRR
Sougata Bose, Thomas A. Henzinger, Karoliina Lehtinen, Sven Schewe, Patrick Totzke
2023 J jnl
Token Games and History-Deterministic Quantitative-Automata.
Log. Methods Comput. Sci.
Udi Boker, Karoliina Lehtinen
2023 J jnl
When a Little Nondeterminism Goes a Long Way: An Introduction to History-Determinism.
ACM SIGLOG News
Udi Boker, Karoliina Lehtinen
2022 J jnl
A Recursive Approach to Solving Parity Games in Quasipolynomial Time.
Log. Methods Comput. Sci.
Karoliina Lehtinen, Pawel Parys, Sven Schewe, Dominik Wojtczak
2022 C conf
A Synthesis Tool for Optimal Monitors in a Branching-Time Setting.
COORDINATION
Antonis Achilleos, Léo Exibard, Adrian Francalanza, Karoliina Lehtinen, Jasmine Xuereb
2022 J jnl
Good-for-games ω-Pushdown Automata.
Log. Methods Comput. Sci.
Karoliina Lehtinen, Martin Zimmermann
2022 — conf
History-Deterministic Timed Automata Are Not Determinizable.
RP
Sougata Bose, Thomas A. Henzinger, Karoliina Lehtinen, Sven Schewe, Patrick Totzke
2022 B conf
History-Deterministic Timed Automata.
CONCUR
Thomas A. Henzinger, Karoliina Lehtinen, Patrick Totzke
2022 J jnl
History-deterministic Parikh Automata.
CoRR
Enzo Erlich, Mario Grobler, Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen, Martin Zimmermann
2022 — conf
On Probabilistic Monitorability.
Principles of Systems Design
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen, Mathias Ruggaard Pedersen
2022 A* conf
On the Size of Good-For-Games Rabin Automata and Its Link with the Memory in Muller Games.
ICALP
Antonio Casares, Thomas Colcombet, Karoliina Lehtinen
2022 B conf
On the Translation of Automata to Linear Temporal Logic.
FoSSaCS
Udi Boker, Karoliina Lehtinen, Salomon Sickert
2022 J jnl
On the Translation of Automata to Linear Temporal Logic.
CoRR
Udi Boker, Karoliina Lehtinen, Salomon Sickert
2022 J jnl
On the size of good-for-games Rabin automata and its link with the memory in Muller games.
CoRR
Antonio Casares, Thomas Colcombet, Karoliina Lehtinen
2022 — conf
Parikh Automata over Infinite Words.
FSTTCS
Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen, Martin Zimmermann
2022 J jnl
Parikh Automata over Infinite Words.
CoRR
Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen, Martin Zimmermann
2022 B conf
Token Games and History-Deterministic Quantitative Automata.
FoSSaCS
Udi Boker, Karoliina Lehtinen
2021 B conf
A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct.
MFCS
Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen, Martin Zimmermann
2021 J jnl
A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct.
CoRR
Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen, Martin Zimmermann
2021 J jnl
A Recursive Approach to Solving Parity Games in Quasipolynomial Time.
CoRR
Karoliina Lehtinen, Pawel Parys, Sven Schewe, Dominik Wojtczak
2021 J jnl
An operational guide to monitorability with applications to regular properties.
Softw. Syst. Model.
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
2021 C conf
Better Late Than Never or: Verifying Asynchronous Components at Runtime.
FORTE
Duncan Paul Attard, Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
2021 — conf
History Determinism vs. Good for Gameness in Quantitative Automata.
FSTTCS
Udi Boker, Karoliina Lehtinen
2021 J jnl
History Determinism vs. Good for Gameness in Quantitative Automata.
CoRR
Udi Boker, Karoliina Lehtinen
2021 B conf
The Best a Monitor Can Do.
CSL
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
2021 J jnl
Token Games and History-Deterministic Quantitative-Automata.
CoRR
Udi Boker, Karoliina Lehtinen
2020 A* conf
Good-for-games ω-Pushdown Automata.
LICS
Karoliina Lehtinen, Martin Zimmermann
2020 J jnl
Good-for-games ω-Pushdown Automata.
CoRR
Karoliina Lehtinen, Martin Zimmermann
2020 J jnl
On Succinctness and Recognisability of Alternating Good-for-Games Automata.
CoRR
Udi Boker, Denis Kuperberg, Karoliina Lehtinen, Michal Skrzypczak
2020 — conf
On the Succinctness of Alternating Parity Good-For-Games Automata.
FSTTCS
Udi Boker, Denis Kuperberg, Karoliina Lehtinen, Michal Skrzypczak
2020 J jnl
On the Succinctness of Alternating Parity Good-for-Games Automata.
CoRR
Udi Boker, Denis Kuperberg, Karoliina Lehtinen, Michal Skrzypczak
2020 J jnl
Register Games.
Log. Methods Comput. Sci.
Karoliina Lehtinen, Udi Boker
2019 J jnl
Adventures in Monitorability: From Branching to Linear Time and Back Again.
CoRR
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
2019 J jnl
Adventures in monitorability: from branching to linear time and back again.
Proc. ACM Program. Lang.
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
2019 B conf
Alternating Weak Automata from Universal Trees.
CONCUR
Laure Daviaud, Marcin Jurdzinski, Karoliina Lehtinen
2019 J jnl
Alternating Weak Automata from Universal Trees.
CoRR
Laure Daviaud, Marcin Jurdzinski, Karoliina Lehtinen
2019 B conf
An Operational Guide to Monitorability.
SEFM
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
2019 J jnl
An Operational Guide to Monitorability.
CoRR
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
2019 B conf
Good for Games Automata: From Nondeterminism to Alternation.
CONCUR
Udi Boker, Karoliina Lehtinen
2019 J jnl
Good for Games Automata: From Nondeterminism to Alternation.
CoRR
Udi Boker, Karoliina Lehtinen
2019 J jnl
Improving the complexity of Parys' recursive algorithm.
CoRR
Karoliina Lehtinen, Sven Schewe, Dominik Wojtczak
2019 J jnl
Register Games.
CoRR
Udi Boker, Karoliina Lehtinen
2019 — conf
Testing Equivalence vs. Runtime Monitoring.
Models, Languages, and Tools for Concurrent and Distributed Programming
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
2019 — conf
The Cost of Monitoring Alone.
From Reactive Systems to Cyber-Physical Systems
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
2019 J jnl
The Cost of Monitoring Alone.
CoRR
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
2018 A* conf
A modal μ perspective on solving parity games in quasi-polynomial time.
LICS
Karoliina Lehtinen
2018 — conf
On the Way to Alternating Weak Automata.
FSTTCS
Udi Boker, Karoliina Lehtinen
2017 — conf
The descriptive complexity of modal mu model-checking parity games.
GandALF
Karoliina Lehtinen
2017 J jnl
Σ
CoRR
Karoliina Lehtinen, Sandra Quickert
2017 C conf
∑
CiE
Karoliina Lehtinen, Sandra Quickert
2015 B conf
Deciding the First Levels of the Modal mu Alternation Hierarchy by Formula Construction.
CSL
Karoliina Lehtinen, Sandra Quickert
2015 — conf
Disjunctive form and the modal μ alternation hierarchy.
FICS
Karoliina Lehtinen