Author:
Jin Jian-Hua,Li Dong-Xue,Li Chun-Quan
Publisher
Springer International Publishing
Reference22 articles.
1. Chatterjee, K., Doyen, L., Henzinger, T.A.: Quantitative Languages, in CSL 2008. LNCS. 5213, 385–400 (2008)
2. Chatterjee, K., Doyen, L., Henzinger, T.A.: Alternating weighted automata, in FCT 2009. LNCS. 5699, 3–13 (2009)
3. Chatterjee, K., Doyen, L., Henzinger, T.A.: Expressiveness and closure properties for quantitative languages pp. 199–208 (2009)
4. Chatterjee, K. , Doyen, L., Henzinger, T.A.: Probabilistic weighted automata. in CONCUR 2009, LNCS. 5710, 244–258 (2009)
5. Culik, K., Kari, J.: Image compression using weighted finite automata. Comput. Graph. 17, 305–313 (1993)