PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives.
Marta KwiatkowskaDavid ParkerClemens WiltschePublished in: Int. J. Softw. Tools Technol. Transf. (2018)
Keyphrases
- multiple objectives
- multi objective
- multi objective genetic algorithm
- multi objective optimization
- problems involving
- pareto optimal
- model checking
- multiobjective optimization
- mixed strategy
- bi objective
- two player games
- game theoretic
- knapsack problem
- nash equilibrium
- computer games
- game theory
- monte carlo
- functional programs
- multi objective problems
- leader follower
- genetic algorithm
- cutting stock problems
- generation algorithm
- shortest path problem
- fitness function
- evolutionary algorithm