Karoliina Lehtinen

Available identifiers

zbMath Open lehtinen.karoliinaMaRDI QIDQ2011664

List of research outcomes

Publication	Date of Publication	Type
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
Token Games and History-Deterministic Quantitative-Automata	2024-01-23	Paper
On the translation of automata to linear temporal logic	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/Q5875379	2023-02-03	Paper
https://portal.mardi4nfdi.de/entity/Q5875380	2023-02-03	Paper
On the Way to Alternating Weak Automata	2022-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q5028456	2022-02-09	Paper
https://portal.mardi4nfdi.de/entity/Q5028462	2022-02-09	Paper
https://portal.mardi4nfdi.de/entity/Q3384164	2021-12-14	Paper
https://portal.mardi4nfdi.de/entity/Q5014447	2021-12-02	Paper
Good-for-games ω-Pushdown Automata	2021-01-21	Paper
A modal μ 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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Karoliina Lehtinen