Login / Signup
Synthesising succinct strategies in safety games with an application to real-time scheduling.
Gilles Geeraerts
Joël Goossens
Thi-Van-Anh Nguyen
Amélie Stainer
Published in:
Theor. Comput. Sci. (2018)
Keyphrases
</>
mixed strategy
video games
computer games
repeated games
learning agents
information retrieval
game theoretic
two player games
database
multi agent
search algorithm
game theory
game play
nash equilibria
solution concepts
nuclear power plant