Finite-State and Pushdown Games with Multi-dimensional Mean-Payoff Objectives
Krishnendu ChatterjeeYaron VelnerPublished in: CoRR (2012)
Keyphrases
- finite state
- multi dimensional
- action sets
- model checking
- game theory
- nash equilibrium
- markov chain
- payoff functions
- markov decision processes
- repeated games
- mixed strategy
- game theoretic
- optimal policy
- computer games
- nash equilibria
- tree automata
- high dimensional
- continuous time bayesian networks
- temporal logic
- coalition structures
- solution concepts
- transition systems
- concurrent systems
- stochastic games
- average cost
- vector quantizer