Discounted-Sum Automata with Real-Valued Discount Factors
Udi Boker · 2024
A nondeterministic discounted-sum automaton (NDA) values a run by the discounted sum of the visited transition weights. That is, the weight in the i-th position of a run of a λ-NDA is divided by λi, for a fixed discount factor λ > 1. This allows to model systems in which the influence of current events is more significant than that of future ones, a key paradigm in economics and other disciplines.