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