Analyzing Self-Adaptation Via Model Checking of Stochastic Games.
Javier CámaraDavid GarlanGabriel A. MorenoBradley R. SchmerlPublished in: Software Engineering for Self-Adaptive Systems (2013)
Keyphrases
- model checking
- stochastic games
- temporal logic
- nash equilibria
- finite state
- formal verification
- markov decision processes
- nash equilibrium
- verification method
- finite state machines
- learning automata
- game theory
- reinforcement learning algorithms
- robust optimization
- modal logic
- imperfect information
- multi agent
- planning domains
- multi agent systems