On Timed Alternating Simulation for Concurrent Timed Games.

Laura Bozzelli Axel Legay Sophie Pinchinat

Published in: FSTTCS (2009)

Keyphrases

discrete event
petri net
colored petri nets
timed automata
simulation model
simulation study
computer games
video games
finite state machines
real time
game theoretic
simulation models
neural network
mobile robot
game design
search engine
cooperative game
data sets