Quantitative Languages Defined by Functional Automata

  title={Quantitative Languages Defined by Functional Automata},
  author={Emmanuel Filiot and Raffaella Gentilini and Jean-François Raskin},
  journal={Logical Methods in Computer Science},
In this paper, we study several decision problems for functi o al weighted automata. To associate values with runs, we consider four different measure functions: th e sum, the mean, the discounted sum of weights along edges and the ratio between rewards and costs. On the po sitive side, we show that the existential and universal threshold problems, the language inclusion p r blem and the equivalence problem are all decidable for the class of functional weighted automata and the four measure… CONTINUE READING
Highly Cited
This paper has 38 citations. REVIEW CITATIONS
Recent Discussions
This paper has been referenced on Twitter 1 time over the past 90 days. VIEW TWEETS


Publications citing this paper.


Publications referenced by this paper.
Showing 1-10 of 39 references

On the integer solutions of quadratic equations

  • F. Grunewald, D. Segal
  • Journal für die reine und angewandte Mathematik
  • 2012

Henzinger . Quantitative languages

  • L. Doyen, A. T.
  • ACM Trans . Comput . Log
  • 2011

Torunczyk Energy and Mean - Payoff Games with Imperfect Information

  • M. Droste, W. Kuich, H. Vogler
  • Handbook of Weighted Automata
  • 2010

Parikh On context - free languages

  • J. R.
  • Journal of the ACM
  • 2009

Similar Papers

Loading similar papers…