# Exact and Approximate Determinization of Discounted-Sum Automata

@article{Boker2014ExactAA,
title={Exact and Approximate Determinization of Discounted-Sum Automata},
author={Udi Boker and Thomas A. Henzinger},
journal={Log. Methods Comput. Sci.},
year={2014},
volume={10}
}
• Published 16 January 2014
• Computer Science
• Log. Methods Comput. Sci.
A discounted-sum automaton (NDA) is a nondeterministic finite automaton with edge weights, valuing a run by the discounted sum of visited edge weights. More precisely, the weight in the i-th position of the run is divided by $\lambda^i$, where the discount factor $\lambda$ is a fixed rational number greater than 1. The value of a word is the minimal value of the automaton runs on it. Discounted summation is a common and useful measuring scheme, especially for infinite sequences, reflecting the…

## Figures and Tables from this paper

The Target Discounted-Sum Problem
• Mathematics
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science
• 2015
The finite version of the problem is solved, and the hardness of the infinite version is shown, linking it to various areas and open problems in mathematics and computer science: β-expansions, discounted-sum automata, piecewise affine maps, and generalizations of the Cantor set.
Determinization of One-Counter Nets
• Computer Science
ArXiv
• 2021
It is shown that in general, determinizability is undecidable under most notions, but over a singleton alphabet one definition becomes decidable, and the rest become trivial, in that there is always an equivalent DOCN.
Synthesis from Weighted Specifications with Partial Domains over Finite Words
• Computer Science
FSTTCS
• 2020
An infinite game framework is developed to solve the corresponding synthesis problems, namely the class of (weighted) critical prefix games and the resulting objectives are not regular in general.
Safety and Co-safety Comparator Automata for Discounted-Sum Inclusion
• Computer Science
CAV
• 2019
Discounted-sum comparator automata, or DS-comparators in short, are Buchi automata that read two infinite sequences of weights synchronously and relate their discounted-sum.
Automata vs Linear-Programming Discounted-Sum Inclusion
• Computer Science
CAV
• 2018
This work conducts the first empirical study of quantitative inclusion for discounted-sum weighted automata (DS-inclusion, in short), which formalizes the goal of comparing quantitative dimensions between systems such as worst-case execution time, resource consumption, and the like.
Reactive synthesis without regret
• Economics
Acta Informatica
• 2016
The notion of regret minimization in which Adam is limited to word strategies generalizes the notion of good for games introduced by Henzinger and Piterman, and is related to the notionof determinization by pruning due to Aminof, Kupferman and Lampert.
Percentile Queries in Multi-dimensional Markov Decision Processes
• Computer Science, Economics
CAV
• 2015
This work shows how to compute a single strategy to enforce that for all dimensions i, the probability of outcomes, satisfyingf_i(\rho ) \ge v_i$$fi(ρ)≥vi is at least$$\alpha _iαi.
Quantitative and Approximate Monitoring
• Computer Science
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
• 2021
A formal framework for quantitative and approximate monitoring is introduced, how it conservatively generalizes the classical boolean setting for monitoring is shown, and several precision-cost trade-offs for monitors are given.
Comparator Automata in Quantitative Verification
• Computer Science
FoSSaCS
• 2018
This work identifies a novel mode of comparison in quantitative systems: the online comparison of the aggregate values of two sequences of quantitative weights, embodied by comparator automata (comparators), a new class of automata that read two infinite sequences of weights synchronously and relate their aggregate values.
Automata-based Quantitative Verification
Comparators enable automata-based methods in the numerical phase, hence eradicating the dependence on numerical methods, and in doing so, comparators are able to integrate the structural and numerical phases.

## References

SHOWING 1-10 OF 21 REFERENCES
Determinizing Discounted-Sum Automata
• Mathematics, Computer Science
CSL
• 2011
It is proved that the class of NDAs with integral discount factors enjoys closure under the algebraic operations min, max, addition, and subtraction, which is not the case for general NDAs nor for deterministic NDAs.
Approximate Determinization of Quantitative Automata
• Computer Science
FSTTCS
• 2012
This work defines approximate determinization with respect to a distance function, and provides an alternative construction that is singly exponential in the discount factor, in the precision, and in the number of states, and proves matching lower bounds, showing exponential dependency on each of these three parameters.
Alternating Weighted Automata
• Computer Science
FCT
• 2009
It is shown that alternation brings more expressive power than nondeterminism for limit average and discounted sum, and the expressive power of the various classes of alternating and nondeterministic weighted automata over infinite words is compared.
Rigorous approximated determinization of weighted automata
• Computer Science
Theor. Comput. Sci.
• 2013
Expressiveness and Closure Properties for Quantitative Languages
• Computer Science
2009 24th Annual IEEE Symposium on Logic In Computer Science
• 2009
It is shown that the set of words with value greater than a threshold can be non-omega-regular for deterministic limit-average and discounted-sum automata, while this set is always omega-regular when the threshold is isolated, and it is proved that the omega- regular language is robust against small perturbations of the transition weights.
Quantitative Languages Defined by Functional Automata
• Computer Science, Mathematics
Log. Methods Comput. Sci.
• 2015
This paper investigates functional weighted automata for four different measures: the sum, the mean, the discounted sum of weights along edges and the ratio between rewards and costs, and shows that functionality is decidable for the four measures.
An Approximate Determinization Algorithm for Weighted Finite-State Automata
• Computer Science
Algorithmica
• 2001
A new approximate determinization algorithm is designed that produces a deterministic weighted finite-state automaton that preserves the strings of a weighted language but not necessarily their weights, and can reduce automatic speech recognition memory requirements by 25—35% with negligible effects on recognition time and accuracy.