Algebraic Verification of Finite Group-Based Potential Games with Vector Payoffs.

Yuanhua Wang Haitao Li

Published in: J. Syst. Sci. Complex. (2022)

Keyphrases

game theory
perfect information
nash equilibrium
repeated games
game theoretic
stochastic games
game design
model checking
formal verification
finite number
neural network
game play
signature verification
educational games
computer games
vector space
payoff functions