Synthesizing Pareto Optimal Decision for Autonomic Clouds Using Stochastic Games Model Checking.
Azlan IsmailMarta KwiatkowskaPublished in: APSEC (2017)
Keyphrases
- model checking
- pareto optimal
- stochastic games
- nash equilibrium
- expected utility
- temporal logic
- nash equilibria
- game theory
- finite state
- game theoretic
- finite state machines
- multi objective
- multiple objectives
- decision making
- decision makers
- multi objective optimization
- imperfect information
- markov decision processes
- multi agent
- decision theory
- optimal solution
- nsga ii
- single agent
- np complete
- worst case
- dynamic programming