Markov Decision Processes with Multiple Long-run Average Objectives (Q5404479)

From MaRDI portal
scientific article; zbMATH DE number 6272601
Language Label Description Also known as
English
Markov Decision Processes with Multiple Long-run Average Objectives
scientific article; zbMATH DE number 6272601

    Statements

    Markov Decision Processes with Multiple Long-run Average Objectives (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    24 March 2014
    0 references
    0 references
    0 references
    0 references
    0 references
    Markov decision processes
    0 references
    mean-payoff reward
    0 references
    multi-objective optimisation
    0 references
    formal verification
    0 references
    0 references