Author:
Bouyer Patricia,Markey Nicolas,Randour Mickael,Larsen Kim G.,Laursen Simon
Funder
European FP7 project CASSTING
ERC project EQualIS
F.R.S.-FNRS Postdoctoral grant
Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Reference38 articles.
1. Aminof, B., Rubin, S.: First cycle games. In: Proceedings of SR, EPTCS 146, pp. 83–90 (2014)
2. Björklund, H., Sandberg, S., Vorobyov, S.: Memoryless determinacy of parity and mean payoff games: a simple proof. Theor. Comput. Sci. 310(1–3), 365–378 (2004)
3. Bloem, R., Chatterjee, K., Henzinger, T.A., Jobstmann, B.: Better quality in synthesis through quantitative objectives. In: Proceedings of CAV, LNCS 5643, pp 140–156. Springer, Berlin (2009)
4. Bohy, A., Bruyère, V., Filiot, E., Raskin, J.-F.: Synthesis from LTL specifications with mean-payoff objectives. In: Proceedings of of TACAS, LNCS 7795, pp. 169–184. Springer, Berlin (2013)
5. Boros, E., Elbassioni, K., Gurvich, V., Makino, K.: Markov decision processes and stochastic games with total effective payoff. In: Proceedings of STACS, LIPIcs 30, pp. 103–115. Schloss Dagstuhl—LZI (2015)
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献