On The Reachability Problem for Recursive Hybrid Automata with One and Two Players.

Shankara Narayanan Krishna Lakshmi Manasa Ashutosh Trivedi

Published in: CoRR (2014)

Keyphrases

hybrid automata
finite state automata
game theory
transitive closure
state space
game play
computer games
online game
data model