Minimum-Time Reachability in Timed Games.

Thomas Brihaye Thomas A. Henzinger Vinayak S. Prabhu Jean-François Raskin

Published in: ICALP (2007)

Keyphrases

petri net
video games
computer games
game theory
nash equilibria
game playing
minimum cost
state space
information systems
nash equilibrium
neural network
game design
game tree search
learning agents
discrete event
perfect information
serious games
transitive closure
game play
database
educational games
data sets