Markov automata with multiple objectives.
Tim QuatmannSebastian JungesJoost-Pieter KatoenPublished in: Formal Methods Syst. Des. (2022)
Keyphrases
- multiple objectives
- multi objective
- markov chain
- problems involving
- regular expressions
- finite state
- markov model
- multi objective optimization
- pareto optimal
- knapsack problem
- cellular automata
- finite automata
- shortest path problem
- probabilistic automata
- bi objective
- multi objective genetic algorithm
- multiobjective optimization
- conditional independence
- tree automata
- evolutionary algorithm
- goal programming
- finite state machines
- multi objective problems
- optimization algorithm
- cutting stock problems
- lattice gas
- finite state automaton
- semi markov
- objective function
- conflicting objectives
- portfolio selection
- decision variables
- directed acyclic graph
- fitness function
- hidden markov models
- trade off