The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games.
Sebastian EnqvistValentin GorankoPublished in: ACM Trans. Comput. Log. (2022)
Keyphrases
- temporal logic
- model checking
- computer games
- online game
- educational games
- coalitional games
- modal logic
- satisfiability problem
- temporally extended
- temporally extended goals
- serious games
- game play
- solution concepts
- belief revision
- imperfect information
- mazurkiewicz traces
- concurrent systems
- verification method
- game development
- video games
- game design
- mobile games
- transition systems
- linear temporal logic
- temporal knowledge
- game theory
- computation tree logic
- multi agent
- game theoretic
- game playing
- formal specification language