Mean-payoff games with partial-observation: (Extended Abstract)

被引：4
|
作者：
机构：
[1] Hunter, Paul
[2] Pérez, Guillermo A.
[3] Raskin, Jean-François
来源：
| 1600年 / Springer Verlag卷 / 8762期
关键词：
D O I：
10.1007/978-3-319-11439-2_13
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] Qualitative analysis of concurrent mean-payoff games
    Chatterjee, Krishnendu
    Ibsen-Jensen, Rasmus
    INFORMATION AND COMPUTATION, 2015, 242 : 2 - 24
  • [22] Pareto Curves of Multidimensional Mean-Payoff Games
    Brenguier, Romain
    Raskin, Jean-Francois
    COMPUTER AIDED VERIFICATION, CAV 2015, PT II, 2015, 9207 : 251 - 267
  • [23] Deterministic priority mean-payoff games as limits of discounted games
    Gimbert, Hugo
    Zielonka, Wieslaw
    AUTOMATA, LANGAGES AND PROGRAMMING, PT 2, 2006, 4052 : 312 - 323
  • [24] Solving Mean-Payoff Games via Quasi Dominions
    Benerecetti, Massimo
    Dell'Erba, Daniele
    Mogavero, Fabio
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT II, TACAS 2020, 2020, 12079 : 289 - 306
  • [25] Reduction of stochastic parity to stochastic mean-payoff games
    Chatterjee, Krishnendu
    Henzinger, Thomas A.
    INFORMATION PROCESSING LETTERS, 2008, 106 (01) : 1 - 7
  • [26] Parallel Algorithms for Mean-Payoff Games: An Experimental Evaluation
    Chaloupka, Jakub
    ALGORITHMS - ESA 2009, PROCEEDINGS, 2009, 5757 : 599 - 610
  • [27] Solving mean-payoff games via quasi dominions
    Benerecetti, Massimo
    Dell'Erba, Daniele
    Mogavero, Fabio
    INFORMATION AND COMPUTATION, 2024, 297
  • [28] Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games Revisited
    Bouyer, Patricia
    Markey, Nicolas
    Olschewski, Joerg
    Ummels, Michael
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, 2011, 6996 : 135 - +
  • [29] SUBGAME-PERFECT EQUILIBRIA IN MEAN-PAYOFF GAMES
    Brice, Leonard
    Raskin, Jean-Francois
    van den Bogaard, Marie
    LOGICAL METHODS IN COMPUTER SCIENCE, 2023, 19 (04) : 1 - 6
  • [30] Hyperplane separation technique for multidimensional mean-payoff games
    Chatterjee, Krishnendu
    Velner, Yaron
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2017, 88 : 236 - 259
12345