Relating Apartness and Branching Bisimulation Games.
Jurriaan RotSebastian JungesHarsh BeoharPublished in: Logics and Type Systems in Theory and Practice (2024)
Keyphrases
- video games
- game theory
- game design
- nash equilibria
- game playing
- computer games
- branch and bound
- imperfect information
- game tree search
- nash equilibrium
- educational games
- search tree
- game theoretic
- database
- coalitional games
- weighted majority
- case study
- simulation game
- serious games
- human computation
- stochastic games
- game play
- incomplete information
- heuristic search
- virtual environment
- information systems