One-Clock Priced Timed Games are PSPACE-hard.

John Fearnley Rasmus Ibsen-Jensen Rahul Savani

Published in: LICS (2020)

Keyphrases

petri net
video games
high speed
nash equilibrium
educational games
nash equilibria
game playing
power consumption
computer games
temporal logic
game play
game theoretic
games played
game theory
game development
learning agents
perfect information