Showing 2026Show all
2 papers · 1 filter
cs.FL2026
The Value Generating Power of Weighted Tree Automata with Initial Algebra Semantics
Manfred Droste, Zoltán Fülöp, Andreja Tepavčević +1
We consider the generating power of the initial algebra semantics of weighted tree automata over strong bimonoids (hence also over semirings) and the question under which condition…
cs.FL2026
Weighted Automata and Regular Expressions for Financial Systems
Manfred Droste, Vitaly Nürnberg
We introduce weighted finite finance automata (WFFA), a formal framework for modeling and analyzing quantitative properties of financial systems driven by uncertain economic variab…