Presentation | 2024-01-18 Rational synthesis based on multiplayer games with registers Yuto Sakao, Hiroyuki Seki, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | The realizability problem is to decide whether there is a system that meets a given specification. The synthesis problem is to construct such a system, if exists. This study aims to prove the decidability of the realizability problem on a multiplayer non-zero sum register game. In this paper, we define register game, register strategy and the realizability problem on multiplayer non-zero sum register games. We prove the decidability of this problem by reducing it to the realizability problem on multiplayer non-zero sum finite-state games. When the answer is affirmative, we can derive a system with registers from an answer of the synthesis problem on finite-state games. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | register game / register automaton / register strategy / rational synthesis |
Paper # | MSS2023-61,SS2023-40 |
Date of Issue | 2024-01-10 (MSS, SS) |
Conference Information | |
Committee | SS / MSS |
---|---|
Conference Date | 2024/1/17(2days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | Kozo Okano(Shinshu Univ.) / Shingo Yamaguchi(Yamaguchi Univ.) |
Vice Chair | Yoshiki Higo(Osaka Univ.) / Toshiyuki Miyamoto(Osaka Inst. of Tech.) |
Secretary | Yoshiki Higo(Shinshu Univ.) / Toshiyuki Miyamoto(Tokyo Inst. of Tech.) |
Assistant | Shinsuke Matsumoto(Osaka Univ.) / Masato Shirai(Shimane Univ.) |
Paper Information | |
Registration To | Technical Committee on Software Science / Technical Committee on Mathematical Systems Science and its Applications |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | Rational synthesis based on multiplayer games with registers |
Sub Title (in English) | |
Keyword(1) | register game |
Keyword(2) | register automaton |
Keyword(3) | register strategy |
Keyword(4) | rational synthesis |
1st Author's Name | Yuto Sakao |
1st Author's Affiliation | Nagoya University(Nagoya Univ.) |
2nd Author's Name | Hiroyuki Seki |
2nd Author's Affiliation | Nagoya University(Nagoya Univ.) |
Date | 2024-01-18 |
Paper # | MSS2023-61,SS2023-40 |
Volume (vol) | vol.123 |
Number (no) | MSS-334,SS-335 |
Page | pp.pp.52-57(MSS), pp.52-57(SS), |
#Pages | 6 |
Date of Issue | 2024-01-10 (MSS, SS) |