Improving Priority Promotion for Parity Games-Reference-Cited by-同舟云学术

Improving Priority Promotion for Parity Games

Published:2016 Issue: Volume: Page:117-133
ISSN:0302-9743
Container-title:Hardware and Software: Verification and Testing
language:
Short-container-title:

Author:

Benerecetti Massimo,Dell’Erba Daniele,Mogavero Fabio

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-49052-6_8

Reference24 articles.

1. Apt, K., Grädel, E.: Lectures in Game Theory for Computer Scientists. Cambridge University Press, Cambridge (2011)

2. Lecture Notes in Computer Science;M Benerecetti,2016

3. Chatterjee, K., Doyen, L., Henzinger, T., Raskin, J.-F.: Generalized mean-payoff and energy games. In: FSTTCS 2010. LIPIcs, vol. 8, pp. 505–516. Leibniz-Zentrum fuer Informatik (2010)

4. Condon, A.: The complexity of stochastic games. IC 96(2), 203–224 (1992)

5. Ehrenfeucht, A., Mycielski, J.: Positional strategies for mean payoff games. IJGT 8(2), 109–113 (1979)

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Solving mean-payoff games via quasi dominions;Information and Computation;2024-03

2. An Objective Improvement Approach to Solving Discounted Payoff Games;Electronic Proceedings in Theoretical Computer Science;2023-09-30

3. Justifications and a Reconstruction of Parity Game Solving Algorithms;Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems;2023

4. Improving Parity Game Solvers with Justifications;Lecture Notes in Computer Science;2020

5. A Parity Game Tale of Two Counters;Electronic Proceedings in Theoretical Computer Science;2019-09-18