Matches in SemOpenAlex for { <https://semopenalex.org/work/W2949934802> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2949934802 abstract "A modern approach to engineering correct-by-construction systems is to synthesize them automatically from formal specifications. Oftentimes, a system can only satisfy its guarantees if certain environment assumptions hold, which motivates their inclusion in the system specification. Experience with modern synthesis approaches shows that synthesized systems tend to satisfy their specifications by actively working towards the violation of the assumptions rather than satisfying assumptions and guarantees together. Such uncooperative behavior is undesirable because it violates the aim of synthesis: the system should try to satisfy its guarantees and use the assumptions only when needed. Also, the assumptions often describe the valid behavior of other components in a bigger system, which should not be obstructed unnecessarily. In this paper, we present a hierarchy of cooperation levels between system and environment. Each level describes how well the system enforces both the assumptions and guarantees. We show how to synthesize systems that achieve the highest possible cooperation level for a given specification in Linear Temporal Logic (LTL). The synthesized systems can also exploit cooperative environment behavior during operation to reach a higher cooperation level that is not enforceable by the system initially. The worst-case time complexity of our synthesis procedure is doubly-exponential, which matches the complexity of standard LTL synthesis. This is an extended version of [7] that features an additional appendix." @default.
- W2949934802 created "2019-06-27" @default.
- W2949934802 creator A5032862317 @default.
- W2949934802 creator A5050112206 @default.
- W2949934802 creator A5053520475 @default.
- W2949934802 date "2015-07-09" @default.
- W2949934802 modified "2023-09-27" @default.
- W2949934802 title "Cooperative Reactive Synthesis" @default.
- W2949934802 cites W1562463698 @default.
- W2949934802 cites W1605697145 @default.
- W2949934802 cites W1608875152 @default.
- W2949934802 cites W1620603552 @default.
- W2949934802 cites W1975294133 @default.
- W2949934802 cites W2016206563 @default.
- W2949934802 cites W2037919977 @default.
- W2949934802 cites W2041701185 @default.
- W2949934802 cites W2080915207 @default.
- W2949934802 cites W2121894842 @default.
- W2949934802 cites W2221866689 @default.
- W2949934802 cites W2396257566 @default.
- W2949934802 cites W2912248071 @default.
- W2949934802 cites W2912494578 @default.
- W2949934802 cites W2914450072 @default.
- W2949934802 cites W2952266944 @default.
- W2949934802 hasPublicationYear "2015" @default.
- W2949934802 type Work @default.
- W2949934802 sameAs 2949934802 @default.
- W2949934802 citedByCount "0" @default.
- W2949934802 crossrefType "posted-content" @default.
- W2949934802 hasAuthorship W2949934802A5032862317 @default.
- W2949934802 hasAuthorship W2949934802A5050112206 @default.
- W2949934802 hasAuthorship W2949934802A5053520475 @default.
- W2949934802 hasConcept C120314980 @default.
- W2949934802 hasConcept C162324750 @default.
- W2949934802 hasConcept C165696696 @default.
- W2949934802 hasConcept C25016198 @default.
- W2949934802 hasConcept C31170391 @default.
- W2949934802 hasConcept C34447519 @default.
- W2949934802 hasConcept C38652104 @default.
- W2949934802 hasConcept C41008148 @default.
- W2949934802 hasConcept C4777664 @default.
- W2949934802 hasConcept C80444323 @default.
- W2949934802 hasConceptScore W2949934802C120314980 @default.
- W2949934802 hasConceptScore W2949934802C162324750 @default.
- W2949934802 hasConceptScore W2949934802C165696696 @default.
- W2949934802 hasConceptScore W2949934802C25016198 @default.
- W2949934802 hasConceptScore W2949934802C31170391 @default.
- W2949934802 hasConceptScore W2949934802C34447519 @default.
- W2949934802 hasConceptScore W2949934802C38652104 @default.
- W2949934802 hasConceptScore W2949934802C41008148 @default.
- W2949934802 hasConceptScore W2949934802C4777664 @default.
- W2949934802 hasConceptScore W2949934802C80444323 @default.
- W2949934802 hasLocation W29499348021 @default.
- W2949934802 hasOpenAccess W2949934802 @default.
- W2949934802 hasPrimaryLocation W29499348021 @default.
- W2949934802 hasRelatedWork W152016706 @default.
- W2949934802 hasRelatedWork W1587361919 @default.
- W2949934802 hasRelatedWork W167416015 @default.
- W2949934802 hasRelatedWork W1984691540 @default.
- W2949934802 hasRelatedWork W2027011260 @default.
- W2949934802 hasRelatedWork W2070724783 @default.
- W2949934802 hasRelatedWork W2141479339 @default.
- W2949934802 hasRelatedWork W2404572612 @default.
- W2949934802 hasRelatedWork W2465875581 @default.
- W2949934802 hasRelatedWork W2523701982 @default.
- W2949934802 hasRelatedWork W2606928263 @default.
- W2949934802 hasRelatedWork W2766685165 @default.
- W2949934802 hasRelatedWork W2966653964 @default.
- W2949934802 hasRelatedWork W2972648062 @default.
- W2949934802 hasRelatedWork W3092353105 @default.
- W2949934802 hasRelatedWork W3128982625 @default.
- W2949934802 hasRelatedWork W315166968 @default.
- W2949934802 hasRelatedWork W794625895 @default.
- W2949934802 hasRelatedWork W89473788 @default.
- W2949934802 hasRelatedWork W2186034120 @default.
- W2949934802 isParatext "false" @default.
- W2949934802 isRetracted "false" @default.
- W2949934802 magId "2949934802" @default.
- W2949934802 workType "article" @default.