Non-Cooperative Rational Interactive Proofs.

Jing Chen Samuel McCauley Shikha Singh

Published in: ESA (2019)

Keyphrases

cooperative
user friendly
virtual reality
interactive video
databases
artificial intelligence
multi agent
formal proofs
search algorithm
computer graphics
decision procedures
interactive systems
distributed problem solving
mathematical proofs