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 条
  • [41] A survey of partial-observation stochastic parity games
    Chatterjee, Krishnendu
    Doyen, Laurent
    Henzinger, Thomas A.
    FORMAL METHODS IN SYSTEM DESIGN, 2013, 43 (02) : 268 - 284
  • [42] A pseudo-quasi-polynomial algorithm for mean-payoff parity games
    Daviaud, Laure
    Jurdzinski, Marcin
    Lazic, Ranko
    LICS'18: PROCEEDINGS OF THE 33RD ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, 2018, : 325 - 334
  • [43] A synthesis method for zero-sum mean-payoff asynchronous probabilistic games
    Zhao, Wei
    Liu, Wanwei
    Liu, Zhiming
    Wang, Tiexin
    SCIENTIFIC REPORTS, 2025, 15 (01):
  • [44] The Complexity of Mean-Payoff Automaton Expression
    Velner, Yaron
    AUTOMATA, LANGUAGES, AND PROGRAMMING, ICALP 2012, PT II, 2012, 7392 : 390 - 402
  • [45] Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games
    Gutierrez, Julian
    Lin, Anthony W.
    Najib, Muhammad
    Steeples, Thomas
    Wooldridge, Michael
    32ND EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC, CSL 2024, 2024, 288
  • [46] Looking at mean-payoff and total-payoff through windows
    Chatterjee, Krishnendu
    Doyen, Laurent
    Randour, Mickael
    Raskin, Jean-Francois
    INFORMATION AND COMPUTATION, 2015, 242 : 25 - 52
  • [47] Partial-Observation Stochastic Games: How to Win when Belief Fails
    Chatterjee, Krishnendu
    Doyen, Laurent
    2012 27TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2012, : 175 - 184
  • [48] Looking at Mean-Payoff Through Foggy Windows
    Hunter, Paul
    Perez, Guillermo A.
    Raskin, Jean-Francois
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2015, 2015, 9364 : 429 - 445
  • [49] Mean Payoff Supervisory Control under Partial Observation
    Ji, Yiding
    Yin, Xiang
    Lafortune, Stephane
    2018 IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2018, : 3981 - 3987
  • [50] Partial-Observation Stochastic Games: How to Win when Belief Fails
    Chatterjee, Krishnendu
    Doyen, Laurent
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2014, 15 (02)
12345