Karoliina Lehtinen

Available identifiers

zbMath Open lehtinen.karoliinaMaRDI QIDQ2011664

List of research outcomes

Publication	Date of Publication	Type
History-deterministic timed automata	2024-11-12	Paper
A brief history of history-determinism (invited talk)	2024-10-08	Paper
Parikh automata over Infinite words	2024-09-12	Paper
History-deterministic timed automata	2024-08-13	Paper
From Muller to parity and Rabin qutomata: optimal transformations preserving (history) determinism	2024-07-03	Paper
On the size of good-for-games Rabin automata and its link with the memory in Muller games	2024-06-24	Paper
An Operational Guide to Monitorability	2024-03-14	Paper
Testing equivalence vs. runtime monitoring	2024-02-23	Paper
https://portal.mardi4nfdi.de/entity/Q6187054	2024-02-05	Paper
On the translation of automata to linear temporal logic	2024-01-23	Paper
Token games and history-deterministic quantitative automata	2024-01-23	Paper
A bit of nondeterminism makes pushdown automata expressive and succinct	2024-01-16	Paper
Token games and history-deterministic quantitative-automata	2024-01-16	Paper
On probabilistic monitorability	2023-08-10	Paper
A bit of nondeterminism makes pushdown automata expressive and succinct	2023-08-08	Paper
History-deterministic timed automata are not determinizable	2023-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q5875380	2023-02-03	Paper
https://portal.mardi4nfdi.de/entity/Q5875379	2023-02-03	Paper
On the Way to Alternating Weak Automata	2022-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q5028462	2022-02-09	Paper
https://portal.mardi4nfdi.de/entity/Q5028456	2022-02-09	Paper
The descriptive complexity of modal \(\mu\) model-checking games	2021-12-14	Paper
Disjunctive form and the modal \(\mu\) alternation hierarchy	2021-12-02	Paper
Good-for-games \(\omega \)-pushdown automata	2021-01-21	Paper
A modal \(\mu\) perspective on solving parity games in quasi-polynomial time	2021-01-20	Paper
https://portal.mardi4nfdi.de/entity/Q5114824	2020-06-26	Paper
Deciding the first levels of the modal \(\mu\) alternation hierarchy by formula construction	2017-08-31	Paper
\(\varSigma^{\mu}_2\) is decidable for \(\varPi^{\mu}_2\)	2017-08-04	Paper

Research outcomes over time

This page was built for person: Karoliina Lehtinen