Presentation | 2022-10-25 Non-cooperative Rational Synthesis Problem on Stochastic Games So Koide, Hiroyuki Seki, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | Synthesis problems with multiple environments that behave rationally have been studied based on multiplayer non-zero-sum games. There are two types of synthesis problems in this model: cooperative and non-cooperative. In this study, we investigate the computational complexity of the non-cooperative synthesis problem in the presence of a nature: a player who performs stochastic actions. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | Stochastic multiplayer non-zero-sum game / Nash equilibria / non-cooperative rational synthesis / $omega$-regular objective |
Paper # | SS2022-23,DC2022-29 |
Date of Issue | 2022-10-18 (SS, DC) |
Conference Information | |
Committee | DC / SS |
---|---|
Conference Date | 2022/10/25(1days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | Tatsuhiro Tsuchiya(Osaka Univ.) / Kozo Okano(Shinshu Univ.) |
Vice Chair | Toshinori Hosokawa(Nihon Univ.) / Yoshiki Higo(Osaka Univ.) |
Secretary | Toshinori Hosokawa(Nihon Univ.) / Yoshiki Higo(Chiba Univ.) |
Assistant | / Shinsuke Matsumoto(Osaka Univ.) |
Paper Information | |
Registration To | Technical Committee on Dependable Computing / Technical Committee on Software Science |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | Non-cooperative Rational Synthesis Problem on Stochastic Games |
Sub Title (in English) | |
Keyword(1) | Stochastic multiplayer non-zero-sum game |
Keyword(2) | Nash equilibria |
Keyword(3) | non-cooperative rational synthesis |
Keyword(4) | $omega$-regular objective |
1st Author's Name | So Koide |
1st Author's Affiliation | Nagoya University(Nagoya U.) |
2nd Author's Name | Hiroyuki Seki |
2nd Author's Affiliation | Nagoya University(Nagoya U.) |
Date | 2022-10-25 |
Paper # | SS2022-23,DC2022-29 |
Volume (vol) | vol.122 |
Number (no) | SS-225,DC-226 |
Page | pp.pp.10-15(SS), pp.10-15(DC), |
#Pages | 6 |
Date of Issue | 2022-10-18 (SS, DC) |