Reasoning about Temporary Coalitions and LTL-definable Ordered Objectives in Infinite Concurrent Multiplayer Games.
Dimitar P. GuelevPublished in: CoRR (2020)
Keyphrases
- coalitional games
- computer games
- online game
- educational games
- game play
- serious games
- solution concepts
- imperfect information
- cooperative games
- game development
- role playing game
- video games
- coalition formation
- mobile games
- game theoretic
- game design
- concurrent actions
- temporal logic
- multi player
- model checking
- game theory
- deterministic automata
- nash equilibria
- coalition structures
- linear temporal logic
- learning experience
- linear time temporal logic
- first order logic
- bounded model checking
- rational agents
- partially ordered
- multi agent systems
- weighted voting games
- game playing
- transferable utility
- game based learning
- practical reasoning
- situation calculus
- learning tools
- incomplete information
- expressive power
- multiagent systems
- virtual environment