Author:
Droste Manfred,Perevoshchikov Vitaly
Publisher
Springer Science and Business Media LLC
Subject
Computational Theory and Mathematics,Theoretical Computer Science
Reference36 articles.
1. Andersson, D.: Improved combinatorial algorithms for discounted payoff games. Master’s thesis Up-psala University, Department of Information Technology (2006)
2. Bauer, S., Juhl, L., Larsen, K., Legay, A., Srba, J.: A logic for accumulated-weight reasoning on multiweighted modal automata Im: TASE 2012, pp. 77–84. IEEE (2012)
3. Berstel, J., Reutenauer, C.: Rational Series and Their Languages. EATCS Monographs on Theoretical Computer Science, vol. 12. Springer (1988)
4. Bloem, R., Greimel, K., Henzinger, T.A., Jobstmann, B.: Synthesizing robust systems, pp. 85–92 (2009)
5. Bollig, B., Gastin, P.: Weighted versus probabilistic logics. In: DLT 2009.LNCS, vol. 5583, pp. 18–38. Springer, Heidelberg (2009)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献