Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games (Q2965484)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games
scientific article

    Statements

    0 references
    0 references
    0 references
    0 references
    3 March 2017
    0 references
    0 references
    0 references
    0 references
    0 references
    two-player games on graphs
    0 references
    Markov decision processes
    0 references
    quantitative objectives
    0 references
    synthesis
    0 references
    worst-case and expected value
    0 references
    mean-payoff
    0 references
    shortest path
    0 references
    0 references
    0 references
    Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games (English)
    0 references