# 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} }

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

## 17 Citations

The Target Discounted-Sum Problem

- Mathematics2015 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 ScienceArXiv
- 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 ScienceFSTTCS
- 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 ScienceCAV
- 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 ScienceCAV
- 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

- EconomicsActa 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, EconomicsCAV
- 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 Science2021 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 ScienceFoSSaCS
- 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

- Computer ScienceArXiv
- 2020

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 ScienceCSL
- 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 ScienceFSTTCS
- 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 ScienceFCT
- 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 ScienceTheor. Comput. Sci.
- 2013

Expressiveness and Closure Properties for Quantitative Languages

- Computer Science2009 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, MathematicsLog. 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 ScienceAlgorithmica
- 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.

What's Decidable about Weighted Automata?

- Computer ScienceATVA
- 2011

It follows from Krob's results that the universality problem is decidable for weighted automata with weights in N ∪ {∞}, and that the equality problem is undecidable when the weights are in N â‚¬∞.

Quantitative languages

- Computer ScienceTOCL
- 2010

A notion of quantitative simulation that is decidable and implies language inclusion is introduced, and it is shown that most classes of weighted automata cannot be determinized.

Handbook of Weighted Automata

- Computer Science
- 2009

This book covers all the main aspects of weighted automata and formal power series methods, ranging from theory to applications, and presents a detailed survey of the state of the art and pointers to future research.