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

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Import241208061232 (talk | contribs)
Normalize DOI.
 
(6 intermediate revisions by 5 users not shown)
label / enlabel / en
 
Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games
Property / DOI
 
Property / DOI: 10.4230/LIPIcs.STACS.2014.199 / rank
Normal rank
 
Property / author
 
Property / author: Jean-François Raskin / rank
Normal rank
 
Property / author
 
Property / author: Jean-François Raskin / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: 1309.5439 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2962750855 / rank
 
Normal rank
Property / title
 
Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games (English)
Property / title: Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games (English) / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.4230/LIPICS.STACS.2014.199 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 06:50, 20 December 2024

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
    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
    Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games (English)
    0 references

    Identifiers