Matches in SemOpenAlex for { <https://semopenalex.org/work/W2344773231> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2344773231 abstract "In Boolean synthesis, we are given an LTL specification, and the goal is to construct a transducer that realizes it against an adversarial environment. Often, a specification contains both Boolean requirements that should be satisfied against an adversarial environment, and multi-valued components that refer to the quality of the satisfaction and whose expected cost we would like to minimize with respect to a probabilistic environment. In this work we study, for the first time, mean-payoff games in which the system aims at minimizing the expected cost against a probabilistic environment, while surely satisfying an $omega$-regular condition against an adversarial environment. We consider the case the $omega$-regular condition is given as a parity objective or by an LTL formula. We show that in general, optimal strategies need not exist, and moreover, the limit value cannot be approximated by finite-memory strategies. We thus focus on computing the limit-value, and give tight complexity bounds for synthesizing $epsilon$-optimal strategies for both finite-memory and infinite-memory strategies. We show that our game naturally arises in various contexts of synthesis with Boolean and multi-valued objectives. Beyond direct applications, in synthesis with costs and rewards to certain behaviors, it allows us to compute the minimal sensing cost of $omega$-regular specifications -- a measure of quality in which we look for a transducer that minimizes the expected number of signals that are read from the input." @default.
- W2344773231 created "2016-06-24" @default.
- W2344773231 creator A5016093552 @default.
- W2344773231 creator A5021154671 @default.
- W2344773231 creator A5077429082 @default.
- W2344773231 date "2016-04-24" @default.
- W2344773231 modified "2023-09-27" @default.
- W2344773231 title "Minimizing Expected Cost Under Hard Boolean Constraints, with Applications to Quantitative Synthesis" @default.
- W2344773231 cites W142385736 @default.
- W2344773231 cites W1600623983 @default.
- W2344773231 cites W1605697145 @default.
- W2344773231 cites W1970603830 @default.
- W2344773231 cites W2016206563 @default.
- W2344773231 cites W2109187338 @default.
- W2344773231 cites W2119567691 @default.
- W2344773231 cites W2253131698 @default.
- W2344773231 cites W29365316 @default.
- W2344773231 cites W2951537286 @default.
- W2344773231 cites W2962750855 @default.
- W2344773231 hasPublicationYear "2016" @default.
- W2344773231 type Work @default.
- W2344773231 sameAs 2344773231 @default.
- W2344773231 citedByCount "0" @default.
- W2344773231 crossrefType "posted-content" @default.
- W2344773231 hasAuthorship W2344773231A5016093552 @default.
- W2344773231 hasAuthorship W2344773231A5021154671 @default.
- W2344773231 hasAuthorship W2344773231A5077429082 @default.
- W2344773231 hasConcept C126255220 @default.
- W2344773231 hasConcept C134306372 @default.
- W2344773231 hasConcept C144237770 @default.
- W2344773231 hasConcept C151201525 @default.
- W2344773231 hasConcept C154945302 @default.
- W2344773231 hasConcept C22171661 @default.
- W2344773231 hasConcept C33923547 @default.
- W2344773231 hasConcept C41008148 @default.
- W2344773231 hasConcept C49937458 @default.
- W2344773231 hasConcept C80444323 @default.
- W2344773231 hasConceptScore W2344773231C126255220 @default.
- W2344773231 hasConceptScore W2344773231C134306372 @default.
- W2344773231 hasConceptScore W2344773231C144237770 @default.
- W2344773231 hasConceptScore W2344773231C151201525 @default.
- W2344773231 hasConceptScore W2344773231C154945302 @default.
- W2344773231 hasConceptScore W2344773231C22171661 @default.
- W2344773231 hasConceptScore W2344773231C33923547 @default.
- W2344773231 hasConceptScore W2344773231C41008148 @default.
- W2344773231 hasConceptScore W2344773231C49937458 @default.
- W2344773231 hasConceptScore W2344773231C80444323 @default.
- W2344773231 hasLocation W23447732311 @default.
- W2344773231 hasOpenAccess W2344773231 @default.
- W2344773231 hasPrimaryLocation W23447732311 @default.
- W2344773231 hasRelatedWork W1518931405 @default.
- W2344773231 hasRelatedWork W1545422271 @default.
- W2344773231 hasRelatedWork W1968159080 @default.
- W2344773231 hasRelatedWork W2115174789 @default.
- W2344773231 hasRelatedWork W2244083851 @default.
- W2344773231 hasRelatedWork W2288025726 @default.
- W2344773231 hasRelatedWork W2402222285 @default.
- W2344773231 hasRelatedWork W2481150835 @default.
- W2344773231 hasRelatedWork W2575682651 @default.
- W2344773231 hasRelatedWork W2615768957 @default.
- W2344773231 hasRelatedWork W2745222971 @default.
- W2344773231 hasRelatedWork W2782031052 @default.
- W2344773231 hasRelatedWork W2798588334 @default.
- W2344773231 hasRelatedWork W2949166970 @default.
- W2344773231 hasRelatedWork W2962781011 @default.
- W2344773231 hasRelatedWork W2963490906 @default.
- W2344773231 hasRelatedWork W2965260795 @default.
- W2344773231 hasRelatedWork W3044753834 @default.
- W2344773231 hasRelatedWork W3146739945 @default.
- W2344773231 hasRelatedWork W3172433524 @default.
- W2344773231 isParatext "false" @default.
- W2344773231 isRetracted "false" @default.
- W2344773231 magId "2344773231" @default.
- W2344773231 workType "article" @default.