Matches in SemOpenAlex for { <https://semopenalex.org/work/W4297961421> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W4297961421 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.
- W4297961421 created "2022-10-01" @default.
- W4297961421 creator A5052607806 @default.
- W4297961421 creator A5059162284 @default.
- W4297961421 creator A5076775867 @default.
- W4297961421 creator A5080555605 @default.
- W4297961421 date "2010-04-05" @default.
- W4297961421 modified "2023-09-26" @default.
- W4297961421 title "Measuring and Synthesizing Systems in Probabilistic Environments" @default.
- W4297961421 doi "https://doi.org/10.48550/arxiv.1004.0739" @default.
- W4297961421 hasPublicationYear "2010" @default.
- W4297961421 type Work @default.
- W4297961421 citedByCount "0" @default.
- W4297961421 crossrefType "posted-content" @default.
- W4297961421 hasAuthorship W4297961421A5052607806 @default.
- W4297961421 hasAuthorship W4297961421A5059162284 @default.
- W4297961421 hasAuthorship W4297961421A5076775867 @default.
- W4297961421 hasAuthorship W4297961421A5080555605 @default.
- W4297961421 hasBestOaLocation W42979614211 @default.
- W4297961421 hasConcept C105795698 @default.
- W4297961421 hasConcept C106189395 @default.
- W4297961421 hasConcept C112505250 @default.
- W4297961421 hasConcept C119857082 @default.
- W4297961421 hasConcept C126255220 @default.
- W4297961421 hasConcept C134306372 @default.
- W4297961421 hasConcept C144237770 @default.
- W4297961421 hasConcept C154945302 @default.
- W4297961421 hasConcept C159886148 @default.
- W4297961421 hasConcept C22171661 @default.
- W4297961421 hasConcept C33923547 @default.
- W4297961421 hasConcept C34388435 @default.
- W4297961421 hasConcept C41008148 @default.
- W4297961421 hasConcept C49937458 @default.
- W4297961421 hasConcept C80444323 @default.
- W4297961421 hasConcept C90119067 @default.
- W4297961421 hasConcept C98763669 @default.
- W4297961421 hasConceptScore W4297961421C105795698 @default.
- W4297961421 hasConceptScore W4297961421C106189395 @default.
- W4297961421 hasConceptScore W4297961421C112505250 @default.
- W4297961421 hasConceptScore W4297961421C119857082 @default.
- W4297961421 hasConceptScore W4297961421C126255220 @default.
- W4297961421 hasConceptScore W4297961421C134306372 @default.
- W4297961421 hasConceptScore W4297961421C144237770 @default.
- W4297961421 hasConceptScore W4297961421C154945302 @default.
- W4297961421 hasConceptScore W4297961421C159886148 @default.
- W4297961421 hasConceptScore W4297961421C22171661 @default.
- W4297961421 hasConceptScore W4297961421C33923547 @default.
- W4297961421 hasConceptScore W4297961421C34388435 @default.
- W4297961421 hasConceptScore W4297961421C41008148 @default.
- W4297961421 hasConceptScore W4297961421C49937458 @default.
- W4297961421 hasConceptScore W4297961421C80444323 @default.
- W4297961421 hasConceptScore W4297961421C90119067 @default.
- W4297961421 hasConceptScore W4297961421C98763669 @default.
- W4297961421 hasLocation W42979614211 @default.
- W4297961421 hasLocation W42979614212 @default.
- W4297961421 hasOpenAccess W4297961421 @default.
- W4297961421 hasPrimaryLocation W42979614211 @default.
- W4297961421 hasRelatedWork W1511524986 @default.
- W4297961421 hasRelatedWork W2101130101 @default.
- W4297961421 hasRelatedWork W2314003728 @default.
- W4297961421 hasRelatedWork W2544192463 @default.
- W4297961421 hasRelatedWork W2911700853 @default.
- W4297961421 hasRelatedWork W3125476822 @default.
- W4297961421 hasRelatedWork W3140738360 @default.
- W4297961421 hasRelatedWork W3198596521 @default.
- W4297961421 hasRelatedWork W4245945791 @default.
- W4297961421 hasRelatedWork W641459143 @default.
- W4297961421 isParatext "false" @default.
- W4297961421 isRetracted "false" @default.
- W4297961421 workType "article" @default.