Suggested Topics within your search.
Suggested Topics within your search.
autonomic clouds
2
multiple quality objectives
2
stochastic games model checking
strategy synthesis
2
Abstraction methods
1
Adaptation decisions
1
Behavioral research
1
Game theory
1
Model checking
1
Multiple quality
1
Pareto optimal decisions
1
Pareto principle
1
SYSTEMS
1
Service Level Agreement (SLA)
1
Stochastic game
1
Stochastic models
1
Stochastic systems
1
Strategy synthesis
1
Temporal logic specifications
1
VERIFICATION
1
-
1
-
2