Two-Player Reachability-Price Games on Single-Clock Timed Automata

Michal Rutkowski

Published in: QAPL (2011)

Keyphrases

timed automata
nash equilibria
game theoretic
nash equilibrium
perfect information
game playing
high speed
imperfect information
reachability analysis
model checking
game theory
transitive closure
theorem prover
repeated games
expert systems
video games
power consumption
knowledge representation
dynamic programming