What's decidable about weighted automata?

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6996 LNCS, Issue , 2011, Pages 482-491

  Almagor, Shaull ^a   Boker, Udi ^a,b   Kupferman, Orna ^a  

^a HEBREW UNIVERSITY OF JERUSALEM   (Israel)

^b INSTITUTE OF SCIENCE AND TECHNOLOGY AUSTRIA   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

DECISION PROBLEMS; FORMAL VERIFICATIONS; HALTING PROBLEMS; NUMERICAL VALUES; RATIONAL SERIES; STATE MACHINE; UNIVERSALITY PROBLEM; WEIGHTED AUTOMATA;

COMPUTABILITY AND DECIDABILITY; IMAGE PROCESSING;

AUTOMATA THEORY;

EID: 80054056928     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-24372-1_37     Document Type: Conference Paper

References (10)

1. Boker, U., Henzinger, T.A.: Determinizing discounted-sum automata. In: Proc. 20th Annual Conf. for Computer Science Logic (2011)
2. Chatterjee, K., Doyen, L., Henzinger, T.: Quantative languages. In: Proc. 17th Annual Conf. for Computer Science Logic, pp. 385-400 (2008)
3. Chatterjee, K., Doyen, L., Henzinger, T.A.: Expressiveness and closure properties for quantitative languages. Logical Methods in Computer Science 6(3) (2010)
4. Degorre, A., Doyen, L., Gentilini, R., Raskin, J., Torunczyk, S.: Energy and meanpayoff games with imperfect information. In: Proc. 19th Annual Conf. for Computer Science Logic, pp. 260-274 (2010)
5. Droste, M., Kuich, W., Vogler, H. (eds.): Handbook of Weighted Automata. Springer, Heidelberg (2009)
6. Krob, D.: The equality problem for rational series with multiplicities in the tropical semiring is undecidable. Int. J. of Algebra and Computation 4(3), 405-425 (1994)
7. Krob, D.: Some consequences of a fatou property of the tropical semiring. Journal of Pure and Appllied Algebra 93(3), 231-249 (1994)
8. Meyer, A.R., Stockmeyer, L.J.: The equivalence problem for regular expressions with squaring requires exponential time. In: Proc. 13th IEEE Symp. on Switching and Automata Theory, pp. 125-129 (1972)
9. Minsky, M.L.: Computation: Finite and Infinite Machines, 1st edn. (1967)
10. Simon, I.: Recognizable sets with multiplicitives in the tropical semiring. In: Koubek, V., Janiga, L., Chytil, M.P. (eds.) MFCS 1988. LNCS, vol. 324, pp. 107-120. Springer, Heidelberg (1988)