Permissive strategies in timed automata and games.

Patricia Bouyer Erwin Fang Nicolas Markey

Published in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2015)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
repeated games
test beds
game theory
equilibrium strategies
game theoretic
two player games
learning agents
mixed strategy
video games
nash equilibrium
real time systems
weighted majority
digital games
real time
game play
low cost
bayesian networks