Spy game: verifying a local generic solver in Iris.
Paulo Emílio de VilhenaFrançois PottierJacques-Henri JourdanPublished in: Proc. ACM Program. Lang. (2020)
Keyphrases
- iris recognition
- game playing
- video games
- game theory
- computer games
- nash equilibrium
- educational games
- game theoretic
- game design
- iris biometrics
- game based learning
- model checking
- reinforcement learning
- game play
- game players
- serious games
- monte carlo tree search
- real time strategy games
- role playing
- constraint solving
- temporal logic
- virtual world
- domain specific
- multi agent systems
- multi agent