Reachability Games on Recursive Hybrid Automata.

Shankara Narayanan Krishna Lakshmi Manasa Ashutosh Trivedi

Published in: TIME (2015)

Keyphrases

hybrid automata
finite state automata
game theory
computer games
video games
game theoretic
nash equilibria
game playing
coalitional games
nash equilibrium
educational games
game play
game development
online game
game design
relational databases
multi agent systems
background knowledge
state space