FRINK Linked Data Fragments server

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

• W2949166970 abstract "Often one has a preference order among the different systems that satisfy a given specification. Under a probabilistic assumption about the possible inputs, such a preference order is naturally expressed by a weighted automaton, which assigns to each word a value, such that a system is preferred if it generates a higher expected value. We solve the following optimal-synthesis problem: given an omega-regular specification, a Markov chain that describes the distribution of inputs, and a weighted automaton that measures how well a system satisfies the given specification under the given input assumption, synthesize a system that optimizes the measured value. For safety specifications and measures given by mean-payoff automata, the optimal-synthesis problem amounts to finding a strategy in a Markov decision process (MDP) that is optimal for a long-run average reward objective, which can be done in polynomial time. For general omega-regular specifications, the solution rests on a new, polynomial-time algorithm for computing optimal strategies in MDPs with mean-payoff parity objectives. Our algorithm generates optimal strategies consisting of two memoryless strategies and a counter. This counter is in general not bounded. To obtain a finite-state system, we show how to construct an epsilon-optimal strategy with a bounded counter for any epsilon>0. We also show how to decide in polynomial time if we can construct an optimal finite-state system (i.e., a system without a counter) for a given specification. We have implemented our approach in a tool that takes qualitative and quantitative specifications and automatically constructs a system that satisfies the qualitative specification and optimizes the quantitative specification, if such a system exists. We present experimental results showing optimal systems that were generated in this way." @default.
• W2949166970 created "2019-06-27" @default.
• W2949166970 creator A5052607806 @default.
• W2949166970 creator A5076775867 @default.
• W2949166970 creator A5080555605 @default.
• W2949166970 creator A5081688191 @default.
• W2949166970 date "2010-04-05" @default.
• W2949166970 modified "2023-09-26" @default.
• W2949166970 title "Measuring and Synthesizing Systems in Probabilistic Environments" @default.
• W2949166970 cites W125598877 @default.
• W2949166970 cites W1496590343 @default.
• W2949166970 cites W1497802612 @default.
• W2949166970 cites W1501731334 @default.
• W2949166970 cites W1531214994 @default.
• W2949166970 cites W1557881307 @default.
• W2949166970 cites W1601155136 @default.
• W2949166970 cites W1601810409 @default.
• W2949166970 cites W1606764134 @default.
• W2949166970 cites W1643571618 @default.
• W2949166970 cites W1667094241 @default.
• W2949166970 cites W1698854595 @default.
• W2949166970 cites W1757114815 @default.
• W2949166970 cites W2000827368 @default.
• W2949166970 cites W2016206563 @default.
• W2949166970 cites W2038680194 @default.
• W2949166970 cites W2041509965 @default.
• W2949166970 cites W2043100293 @default.
• W2949166970 cites W2059057465 @default.
• W2949166970 cites W2060428316 @default.
• W2949166970 cites W2073788194 @default.
• W2949166970 cites W2102108943 @default.
• W2949166970 cites W2130415189 @default.
• W2949166970 cites W2142119680 @default.
• W2949166970 cites W2153358971 @default.
• W2949166970 cites W2157977984 @default.
• W2949166970 cites W2158548602 @default.
• W2949166970 cites W2319440520 @default.
• W2949166970 cites W2334782222 @default.
• W2949166970 cites W2569646339 @default.
• W2949166970 cites W2912461213 @default.
• W2949166970 cites W2913452116 @default.
• W2949166970 cites W2952266944 @default.
• W2949166970 cites W1601373402 @default.
• W2949166970 cites W3021383278 @default.
• W2949166970 hasPublicationYear "2010" @default.
• W2949166970 type Work @default.
• W2949166970 sameAs 2949166970 @default.
• W2949166970 citedByCount "4" @default.
• W2949166970 countsByYear W29491669702014 @default.
• W2949166970 crossrefType "posted-content" @default.
• W2949166970 hasAuthorship W2949166970A5052607806 @default.
• W2949166970 hasAuthorship W2949166970A5076775867 @default.
• W2949166970 hasAuthorship W2949166970A5080555605 @default.
• W2949166970 hasAuthorship W2949166970A5081688191 @default.
• W2949166970 hasConcept C105795698 @default.
• W2949166970 hasConcept C106189395 @default.
• W2949166970 hasConcept C112505250 @default.
• W2949166970 hasConcept C119857082 @default.
• W2949166970 hasConcept C126255220 @default.
• W2949166970 hasConcept C134306372 @default.
• W2949166970 hasConcept C144237770 @default.
• W2949166970 hasConcept C154945302 @default.
• W2949166970 hasConcept C159886148 @default.
• W2949166970 hasConcept C22171661 @default.
• W2949166970 hasConcept C33923547 @default.
• W2949166970 hasConcept C34388435 @default.
• W2949166970 hasConcept C41008148 @default.
• W2949166970 hasConcept C49937458 @default.
• W2949166970 hasConcept C80444323 @default.
• W2949166970 hasConcept C90119067 @default.
• W2949166970 hasConcept C98763669 @default.
• W2949166970 hasConceptScore W2949166970C105795698 @default.
• W2949166970 hasConceptScore W2949166970C106189395 @default.
• W2949166970 hasConceptScore W2949166970C112505250 @default.
• W2949166970 hasConceptScore W2949166970C119857082 @default.
• W2949166970 hasConceptScore W2949166970C126255220 @default.
• W2949166970 hasConceptScore W2949166970C134306372 @default.
• W2949166970 hasConceptScore W2949166970C144237770 @default.
• W2949166970 hasConceptScore W2949166970C154945302 @default.
• W2949166970 hasConceptScore W2949166970C159886148 @default.
• W2949166970 hasConceptScore W2949166970C22171661 @default.
• W2949166970 hasConceptScore W2949166970C33923547 @default.
• W2949166970 hasConceptScore W2949166970C34388435 @default.
• W2949166970 hasConceptScore W2949166970C41008148 @default.
• W2949166970 hasConceptScore W2949166970C49937458 @default.
• W2949166970 hasConceptScore W2949166970C80444323 @default.
• W2949166970 hasConceptScore W2949166970C90119067 @default.
• W2949166970 hasConceptScore W2949166970C98763669 @default.
• W2949166970 hasLocation W29491669701 @default.
• W2949166970 hasOpenAccess W2949166970 @default.
• W2949166970 hasPrimaryLocation W29491669701 @default.
• W2949166970 hasRelatedWork W1968159080 @default.
• W2949166970 hasRelatedWork W2087871167 @default.
• W2949166970 hasRelatedWork W2128480458 @default.
• W2949166970 hasRelatedWork W2157428928 @default.
• W2949166970 hasRelatedWork W2217305240 @default.
• W2949166970 hasRelatedWork W2610777504 @default.
• W2949166970 hasRelatedWork W2719097668 @default.
• W2949166970 hasRelatedWork W2745222971 @default.
• W2949166970 hasRelatedWork W2765274790 @default.

• next