2 papers
cs.GT2024
Verification with Common Knowledge of Rationality for Graph Games
Rindo Nakanishi, Yoshiaki Takata, Hiroyuki Seki
Realizability asks whether there exists a program satisfying its specification. In this problem, we assume that each agent has her own objective and behaves rationally to satisfy h…
cs.GT2023
A game-theoretic approach to indistinguishability of winning objectives as user privacy
Rindo Nakanishi, Yoshiaki Takata, Hiroyuki Seki
Game theory on graphs is a basic tool in computer science. In this paper, we propose a new game-theoretic framework for studying the privacy protection of a user who interactively…