期刊
INFORMATION PROCESSING LETTERS
卷 118, 期 -, 页码 91-99出版社
ELSEVIER
DOI: 10.1016/j.ipl.2016.10.005
关键词
Formal methods; Reactive synthesis; Game theory; Partial observation
资金
- F.R.S.-FNRS fellowship
In this paper we study two-player games with asymmetric partial observation and an energy objective. Such games are played on a weighted automaton by Eve, choosing actions, and Adam, choosing a transition labelled with the given action. Eve attempts to maintain the sum of the weights (of the transitions taken) non-negative while Adam tries to do the opposite. Eve does not know the exact state of the game, she is only given an equivalence class of states which contains it. In contrast, Adam has full observation. We show the fixed initial credit problem for these games is Acx-complete. (C) 2016 Elsevier B.V. All rights reserved.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据