Droste Manfred; Fülöp Zoltán; Kószó Dávid:
Decidability Boundaries for the Finite-Image Property of Weighted Finite Automata.
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 34 (6).
pp. 633-653.
ISSN 0129-0541
(2023)
Droste Manfred; Fülöp Zoltán; Kószó Dávid; Vogler Heiko:
Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids.
THEORETICAL COMPUTER SCIENCE, 919.
pp. 118-143.
ISSN 0304-3975
(2022)
Fülöp Zoltán; Kószó Dávid; Vogler Heiko:
Crisp-determinization of weighted tree automata over strong bimonoids.
DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE, 23 (1).
ISSN 1462-7264
(2021)
Droste Manfred; Fülöp Zoltán; Kószó Dávid; Vogler Heiko:
Crisp-Determinization of Weighted Tree Automata over Additively Locally Finite and Past-Finite Monotonic Strong Bimonoids Is Decidable.
In:
Descriptional Complexity of Formal Systems: 22nd International Conference, DCFS 2020.
Lecture Notes in Computer Science
(12442).
Springer International Publishing, Cham, pp. 39-51.
(2020)
ISBN 9783030625368; 9783030625351