Robust Weighted Timed Automata and Games.

Patricia Bouyer Nicolas Markey Ocan Sankur

Published in: FORMATS (2013)

Keyphrases

timed automata
weighted majority
computationally efficient
low cost
game theory
reachability analysis
reinforcement learning
video games
weighted sum
online game
nash equilibria