Stochastic game 3 Stochastic games 3 Model checking 2 Stochastic systems 2 autonomic clouds 2 multiple quality objectives 2 stochastic games model checking 2 strategy synthesis 2 Abstraction methods 1 Adaptation decisions 1 Adaptive mesh refinement 1 Autonomic clouds 1 Behavioral research 1 Collocation method 1 Conflict resolution 1 Dynamic programming 1 Dynamic stochastic games 1 Finite difference approximations 1 Finite difference method 1 Finite element method 1 Game theory 1 Hamilton Jacobi Bellman equation 1 Hamilton–Jacobi–Bellman equations 1 Information 1 Innovation dynamics 1 Inter-bank borrowing and lending 1 Least squares approximations 1 Least squares finite element methods 1 Least-squares finite element method 1 Lyapunov function 1