文献

J-GLOBAL ID：202002241496824640   整理番号：20A2471931

並行確率ゲームのためのマルチプレーヤ平衡検証【JST・京大機械翻訳】

Multi-player Equilibria Verification for Concurrent Stochastic Games

著者 (4件)： Kwiatkowska Marta (Department of Computing Science, University of Oxford, Oxford, UK) ,  Norman Gethin (School of Computing Science, University of Glasgow, Glasgow, UK) ,  Parker David (School of Computer Science, University of Birmingham, Birmingham, UK) ,  Santos Gabriel (Department of Computing Science, University of Oxford, Oxford, UK)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 12289  ページ： 74-95  発行年： 2020年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 同時確率ゲーム(CSG)は,同時,合理的決定を行う異なる目的を持つ複数のプレーヤーあるいはコンポーネントを特徴とする確率的システムをモデル化するための理想的な形式である。用例は,通信またはセキュリティプロトコルとマルチロボットナビゲーションを含んだ。CSGのための検証方法は存在するが,エージェントまたはプレイヤーが2つの連合にグループ分けされるシナリオに限られており,同一の目的を共有する同じ連携のそれらとは限られていた。本論文では,CSGのためのマルチ連合検証技術を提案した。著者らは,ゲーム状態においてその戦略を一側的に変更するのにインセンティブがない戦略である,サブゲーム完全社会福祉(または社会的コスト)最適Nash均衡を使用し,そして,総組合せ目的を最大化(または最小化)した。時間的論理rPATL(報酬による確率的交互時間論理)の拡張を示し,任意の数の異なった連合に対する平衡ベース特性,および停止ゲームのバリアントに対する対応するモデル検査アルゴリズムを特定した。PRISMゲームツールにこの技術を実装し,秘密共有プロトコルと公共の良いゲームを含むいくつかの事例研究に適用した。Copyright Springer Nature Switzerland AG 2020 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： アルゴリズム ,  *ゲーム ,  事例研究 ,  時間論理 ,  Nash均衡 ,  エージェント ,  モデル検査
準シソーラス用語： 秘密共有 ,  プレイヤ ,  セキュリティプロトコル ,  *確率ゲーム ,  同時確率 , 【Automatic Indexing@JST】

分類 (2件)： ゲーム理論  (KA03060T) ,  人工知能  (JE08000Z)

タイトルに関連する用語 (6件)： 並行 ,  確率ゲーム ,  マルチ ,  プレーヤ ,  平衡 ,  検証