Mean-Payoff Games on Timed Automata.
Shibashis GuhaMarcin JurdzinskiShankara Narayanan KrishnaAshutosh TrivediPublished in: CoRR (2016)
Keyphrases
- timed automata
- game theory
- nash equilibrium
- model checking
- payoff functions
- reachability analysis
- theorem prover
- mixed strategy
- repeated games
- game theoretic
- nash equilibria
- computer games
- long term
- game design
- coalitional games
- first order logic
- game play
- theorem proving
- video games
- cooperative
- solution concepts
- real time systems
- educational games
- temporal logic
- human computation
- general game playing
- weighted majority
- knowledge representation