Improved Undecidability Results for Reachability Games on Recursive Timed Automata.

Shankara Narayanan Krishna Lakshmi Manasa Ashutosh Trivedi

Published in: GandALF (2014)

Keyphrases

timed automata
model checking
reachability analysis
first order logic
game playing
real time
nash equilibria
game theory
theorem proving
improved algorithm
probabilistic planning
partially observable
transitive closure
educational games
video games
state space
probability distribution
multi agent
machine learning