Mean-Payoff Games on Timed Automata.
Shibashis GuhaMarcin JurdzinskiShankara Narayanan KrishnaAshutosh TrivediPublished in: FSTTCS (2016)
Keyphrases
- timed automata
- game theory
- nash equilibrium
- model checking
- repeated games
- reachability analysis
- payoff functions
- theorem prover
- mixed strategy
- nash equilibria
- game theoretic
- video games
- theorem proving
- long term
- first order logic
- cooperative
- real time systems
- game design
- incomplete information
- temporal logic
- stochastic games
- solution concepts
- resource allocation
- game playing
- perfect information
- computer games
- game play
- human computation
- coalition structures
- game tree
- serious games
- autonomous agents
- low cost
- expert systems