D
Daniel Kirsten
Researcher at Dresden University of Technology
Publications - 19
Citations - 205
Daniel Kirsten is an academic researcher from Dresden University of Technology. The author has contributed to research in topics: Decidability & Trace monoid. The author has an hindex of 7, co-authored 19 publications receiving 188 citations.
Papers
More filters
Journal Article
On the Determinization of Weighted Automata.
Daniel Kirsten,Ina Mäurer +1 more
TL;DR: An algorithm and some related results by Mohri for determinization of weighted finite automata (WFA) over the tropical semiring are generalized and a class of semirings in which the twins property is sufficient for the termination of the algorithm is defined.
Proceedings ArticleDOI
Deciding Unambiguity and Sequentiality of Polynomially Ambiguous Min-Plus Automata
Daniel Kirsten,Sylvain Lombardy +1 more
TL;DR: This paper solves the unambiguity and the sequentiality problem for polynomially ambiguous min-plus automata through a decidable algebraic characterization involving so-called metatransitions and an application of results from the structure theory of finite semigroups.
Book ChapterDOI
Alternating tree automata and parity games
TL;DR: Since Buchi’s work in 1960, automata play an important role in logic and one is interested in the decidability and the complexity of the word and emptiness problems of automata.
Journal Article
Desert automata and the finite substitution problem
TL;DR: A new model of weighted automata is introduced and the decidability of its limitedness problem is shown by solving the underlying Burnside problem.
Book ChapterDOI
Distance Desert Automata and the Star Height One Problem
TL;DR: In this article, it is shown that the language accepted by an n-state non-deterministic automaton is of star height one, which is the first ever complexity result for the star height 1 problem.