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 条
  • [1] Mean-payoff games with partial observation
    Hunter, Paul
    Pauly, Arno
    Perez, Guillermo A.
    Raskin, Jean-Francois
    THEORETICAL COMPUTER SCIENCE, 2018, 735 : 82 - 110
  • [2] Mean-Payoff Pushdown Games
    Chatterjee, Krishnendu
    Velner, Yaron
    2012 27TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2012, : 195 - 204
  • [3] Mean-payoff parity games
    Chatterjee, K
    Henzinger, TA
    Jurdzinski, M
    LICS 2005: 20th Annual IEEE Symposium on Logic in Computer Science - Proceedings, 2005, : 178 - 187
  • [4] Incentive Stackelberg Mean-Payoff Games
    Gupta, Anshul
    Schewe, Sven
    Trivedi, Ashutosh
    Deepak, Maram Sai Krishna
    Padarthi, Bharath Kumar
    SOFTWARE ENGINEERING AND FORMAL METHODS: 14TH INTERNATIONAL CONFERENCE, SEFM 2016, 2016, 9763 : 304 - 320
  • [5] Stochastic Window Mean-Payoff Games
    Doyen, Laurent
    Gaba, Pranshu
    Guha, Shibashis
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PT I, FOSSACS 2024, 2024, 14574 : 34 - 54
  • [6] Mean-payoff games and propositional proofs
    Atserias, Albert
    Maneva, Elitza
    INFORMATION AND COMPUTATION, 2011, 209 (04) : 664 - 691
  • [7] A note on the approximation of mean-payoff games
    Gentilini, Raffaella
    INFORMATION PROCESSING LETTERS, 2014, 114 (07) : 382 - 386
  • [8] Faster algorithms for mean-payoff games
    L. Brim
    J. Chaloupka
    L. Doyen
    R. Gentilini
    J. F. Raskin
    Formal Methods in System Design, 2011, 38 : 97 - 118
  • [9] Mean-Payoff Games with ω-Regular Specifications
    Gutierrez, Julian
    Steeples, Thomas
    Wooldridge, Michael
    GAMES, 2022, 13 (01):
  • [10] The Complexity of Ergodic Mean-payoff Games
    Chatterjee, Krishnendu
    Ibsen-Jensen, Rasmus
    AUTOMATA, LANGUAGES, AND PROGRAMMING (ICALP 2014), PT II, 2014, 8573 : 122 - 133
12345