Markov Automata with Multiple Objectives.
Tim QuatmannSebastian JungesJoost-Pieter KatoenPublished in: CAV (1) (2017)
Keyphrases
- multiple objectives
- multi objective
- markov chain
- cellular automata
- problems involving
- finite state
- pareto optimal
- finite automata
- multi objective genetic algorithm
- multi objective optimization
- markov model
- semi markov
- cutting stock problems
- bi objective
- knapsack problem
- shortest path problem
- multiobjective optimization
- probabilistic automata
- goal programming
- objective function
- finite state machines
- regular expressions
- particle swarm optimization
- tree automata
- conditional independence
- conflicting objectives
- evolutionary algorithm
- trade off
- decision variables