Verification with Common Knowledge of Rationality for Graph Games.

Rindo Nakanishi, Yoshiaki Takata, Hiroyuki Seki

Browse the full ICTAC paper archive.