Epistemic Strategies and Games on Concurrent Processes.
Konstantinos ChatzikokolakisSophia KnightCatuscia PalamidessiPrakash PanangadenPublished in: ACM Trans. Comput. Log. (2012)
Keyphrases
- concurrent processes
- learning agents
- game theory
- computer games
- mixed strategy
- repeated games
- test beds
- concurrent programs
- petri net
- game theoretic
- game playing
- game play
- equilibrium strategies
- belief change
- game design
- knowledge base
- educational games
- nash equilibrium
- temporal logic
- video games
- object oriented
- search algorithm
- cooperative