Dynamic controllability via Timed Game Automata.

Alessandro Cimatti Luke Hunsberger Andrea Micheli Roberto Posenato Marco Roveri

Published in: Acta Informatica (2016)

Keyphrases

dynamic environments
timed automata
petri net
data sets
neural network
case study
multi agent systems
virtual world
cellular automata
game theory
computer games
finite state machines
finite state
game playing
game theoretic
digital games