资源分类
》 资源 》论文》Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic

Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic

2019-10-29 | |  46 |   32 |   0
Abstract We study a class of synchronous, perfect-recall multi-agent systems with imperfect information and broadcasting, i.e., fully observable actions. We define an epistemic extension of strategy logic with incomplete information and the assumption of uniform and coherent strategies. In this setting, we prove that the model checking problem, and thus rational synthesis, is non-elementary decidable. We exemplify the applicability of the framework on a rational secret-sharing scenario

上一篇：The Tractability of the Shapley Value over Bounded Treewidth Matching Games

下一篇：Voting by Sequential Elimination with few Voters

用户评价
全部评价

热门资源

  • Learning to Predi...

    Much of model-based reinforcement learning invo...

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • The Variational S...

    Unlike traditional images which do not offer in...

  • Learning to learn...

    The move from hand-designed features to learned...

  • A Mathematical Mo...

    Direct democracy, where each voter casts one vo...