One-Clock Priced Timed Games are PSPACE-hard.
John FearnleyRasmus Ibsen-JensenRahul SavaniPublished in: CoRR (2020)
Keyphrases
- petri net
- game theory
- video games
- high speed
- game theoretic
- game design
- nash equilibria
- nash equilibrium
- power consumption
- coalitional games
- discrete event
- educational games
- weighted majority
- imperfect information
- computer games
- game playing
- game play
- finite state machines
- search algorithm
- serious games
- human computation
- temporal logic
- duty cycle
- pure nash equilibria
- mazurkiewicz traces