文献
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)