Robust Reachability in Timed Automata: A Game-Based Approach.

Patricia Bouyer Nicolas Markey Ocan Sankur

Published in: ICALP (2) (2012)

Keyphrases

timed automata
model checking
game theory
state space
reachability analysis
computer games
game playing
game theoretic
artificial intelligence
probabilistic model
video games
educational games
game design
transitive closure
real time systems
robust optimization