Rindo Nakanishi

According to our database, Rindo Nakanishi authored at least 4 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Verification with Common Knowledge of Rationality for Graph Games.

Rindo Nakanishi, Yoshiaki Takata, Hiroyuki Seki

CoRR, 2024

2023

Pumping Lemmas for Languages Expressed by Computational Models with Registers.

Rindo Nakanishi, Yoshiaki Takata, Hiroyuki Seki

IEICE Trans. Inf. Syst., March, 2023

A Game-Theoretic Approach to Indistinguishability of Winning Objectives as User Privacy.

Rindo Nakanishi, Yoshiaki Takata, Hiroyuki Seki

Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023

2022

Active Learning for Deterministic Bottom-Up Nominal Tree Automata.

Rindo Nakanishi, Yoshiaki Takata, Hiroyuki Seki

Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022