Verification of Repetition of Playing a Game for Activity Selection in a Group.
Satoki FujimotoMasayuki AndoKouyou OtsuTomoko IzumiPublished in: HCI (36) (2023)
Keyphrases
- computer games
- game playing
- imperfect information
- group activities
- online game
- card game
- board game
- games played
- game theory
- pac man
- game play
- game players
- human players
- nash equilibrium
- model checking
- virtual world
- video games
- game tree
- face verification
- selection strategy
- educational games
- selection algorithm
- signature verification
- formal verification
- human activities
- incomplete information
- learning outcomes
- real time strategy games
- learning experience
- social skills
- card games
- computer poker