Sign in
Optimal planning for architecture-based self-adaptation via model checking of stochastic games.
Javier Cámara
David Garlan
Bradley R. Schmerl
Ashutosh Pandey
Published in:
SAC (2015)
Keyphrases
</>
model checking
stochastic games
optimal planning
planning domains
temporal logic
single agent
finite state
heuristic search
markov decision processes
ai planning
planning problems
nash equilibrium
domain independent
search space
reinforcement learning
imperfect information
search algorithm