Up a level |
Number of items: 2.
Henzinger, TA, Lehtinen, K and Totzke, P ORCID: 0000-0001-5274-8190
(2022)
History-Deterministic Timed Automata.
.
Guha, S, Jecker, I, Lehtinen, K and Zimmermann, M ORCID: 0000-0002-8038-2453
(2022)
Parikh Automata over Infinite Words.
.