An Executable Semantics of Flexible Plans in Terms of Timed Game Automata.

Marta Cialdea Mayer Andrea Orlandini

Published in: TIME (2015)

Keyphrases

timed automata
game theory
video games
finite state machines
cellular automata
game playing
formal semantics
game development
state space
regular expressions
discrete event