FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2100034226> ?p ?o ?g. }

• W2100034226 abstract "We extend the quantitative synthesis framework by going beyond the worst-case. On the one hand, classical analysis of two-player games involves an adversary (modeling the environment of the system) which is purely antagonistic and asks for strict guarantees. On the other hand, stochastic models like Markov decision processes represent situations where the system is faced to a purely randomized environment: the aim is then to optimize the expected payoff, with no guarantee on individual outcomes. We introduce the beyond worst-case synthesis problem, which is to construct strategies that guarantee some quantitative requirement in the worst-case while providing an higher expected value against a particular stochastic model of the environment given as input. This problem is relevant to produce system controllers that provide nice expected performance in the everyday situation while ensuring a strict (but relaxed) performance threshold even in the event of very bad (while unlikely) circumstances. We study the beyond worst-case synthesis problem for two important quantitative settings: the mean-payoff and the shortest path. In both cases, we show how to decide the existence of finite-memory strategies satisfying the problem and how to synthesize one if one exists. We establish algorithms and we study complexity bounds and memory requirements." @default.
• W2100034226 created "2016-06-24" @default.
• W2100034226 creator A5018655997 @default.
• W2100034226 creator A5049821685 @default.
• W2100034226 creator A5050192270 @default.
• W2100034226 creator A5050196522 @default.
• W2100034226 date "2013-09-21" @default.
• W2100034226 modified "2023-10-14" @default.
• W2100034226 title "Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games" @default.
• W2100034226 cites W1494279436 @default.
• W2100034226 cites W1496590343 @default.
• W2100034226 cites W1498432697 @default.
• W2100034226 cites W1573045945 @default.
• W2100034226 cites W1621538476 @default.
• W2100034226 cites W1971499713 @default.
• W2100034226 cites W1974733147 @default.
• W2100034226 cites W1987073631 @default.
• W2100034226 cites W2011039300 @default.
• W2100034226 cites W2012559397 @default.
• W2100034226 cites W2026128612 @default.
• W2100034226 cites W2030372341 @default.
• W2100034226 cites W2040076550 @default.
• W2100034226 cites W2053364286 @default.
• W2100034226 cites W2078268196 @default.
• W2100034226 cites W2081287319 @default.
• W2100034226 cites W2082040833 @default.
• W2100034226 cites W2096272173 @default.
• W2100034226 cites W2103012681 @default.
• W2100034226 cites W2119567691 @default.
• W2100034226 cites W2121815516 @default.
• W2100034226 cites W2128723253 @default.
• W2100034226 cites W2137407595 @default.
• W2100034226 cites W2142133061 @default.
• W2100034226 cites W2481150835 @default.
• W2100034226 cites W2751555667 @default.
• W2100034226 cites W2785504350 @default.
• W2100034226 cites W2950670506 @default.
• W2100034226 cites W2952647718 @default.
• W2100034226 cites W2962750855 @default.
• W2100034226 cites W2891212941 @default.
• W2100034226 hasPublicationYear "2013" @default.
• W2100034226 type Work @default.
• W2100034226 sameAs 2100034226 @default.
• W2100034226 citedByCount "0" @default.
• W2100034226 crossrefType "posted-content" @default.
• W2100034226 hasAuthorship W2100034226A5018655997 @default.
• W2100034226 hasAuthorship W2100034226A5049821685 @default.
• W2100034226 hasAuthorship W2100034226A5050192270 @default.
• W2100034226 hasAuthorship W2100034226A5050196522 @default.
• W2100034226 hasConcept C105795698 @default.
• W2100034226 hasConcept C106189395 @default.
• W2100034226 hasConcept C119857082 @default.
• W2100034226 hasConcept C126255220 @default.
• W2100034226 hasConcept C144237770 @default.
• W2100034226 hasConcept C159886148 @default.
• W2100034226 hasConcept C199360897 @default.
• W2100034226 hasConcept C22171661 @default.
• W2100034226 hasConcept C2777735758 @default.
• W2100034226 hasConcept C2780801425 @default.
• W2100034226 hasConcept C33923547 @default.
• W2100034226 hasConcept C38652104 @default.
• W2100034226 hasConcept C41008148 @default.
• W2100034226 hasConcept C41065033 @default.
• W2100034226 hasConcept C98763669 @default.
• W2100034226 hasConceptScore W2100034226C105795698 @default.
• W2100034226 hasConceptScore W2100034226C106189395 @default.
• W2100034226 hasConceptScore W2100034226C119857082 @default.
• W2100034226 hasConceptScore W2100034226C126255220 @default.
• W2100034226 hasConceptScore W2100034226C144237770 @default.
• W2100034226 hasConceptScore W2100034226C159886148 @default.
• W2100034226 hasConceptScore W2100034226C199360897 @default.
• W2100034226 hasConceptScore W2100034226C22171661 @default.
• W2100034226 hasConceptScore W2100034226C2777735758 @default.
• W2100034226 hasConceptScore W2100034226C2780801425 @default.
• W2100034226 hasConceptScore W2100034226C33923547 @default.
• W2100034226 hasConceptScore W2100034226C38652104 @default.
• W2100034226 hasConceptScore W2100034226C41008148 @default.
• W2100034226 hasConceptScore W2100034226C41065033 @default.
• W2100034226 hasConceptScore W2100034226C98763669 @default.
• W2100034226 hasLocation W21000342261 @default.
• W2100034226 hasOpenAccess W2100034226 @default.
• W2100034226 hasPrimaryLocation W21000342261 @default.
• W2100034226 hasRelatedWork W1495870736 @default.
• W2100034226 hasRelatedWork W1575686607 @default.
• W2100034226 hasRelatedWork W1769623598 @default.
• W2100034226 hasRelatedWork W1875029160 @default.
• W2100034226 hasRelatedWork W1876044947 @default.
• W2100034226 hasRelatedWork W1971146758 @default.
• W2100034226 hasRelatedWork W1999686816 @default.
• W2100034226 hasRelatedWork W2024561607 @default.
• W2100034226 hasRelatedWork W2122126848 @default.
• W2100034226 hasRelatedWork W2127508398 @default.
• W2100034226 hasRelatedWork W2161967124 @default.
• W2100034226 hasRelatedWork W2551398049 @default.
• W2100034226 hasRelatedWork W2945929397 @default.
• W2100034226 hasRelatedWork W2949499782 @default.
• W2100034226 hasRelatedWork W3005438958 @default.
• W2100034226 hasRelatedWork W3035265415 @default.
• W2100034226 hasRelatedWork W3121585890 @default.
• W2100034226 hasRelatedWork W3162164975 @default.

• next