Matches in SemOpenAlex for { <https://semopenalex.org/work/W2396257566> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2396257566 endingPage "410" @default.
- W2396257566 startingPage "394" @default.
- W2396257566 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." @default.
- W2396257566 created "2016-06-24" @default.
- W2396257566 creator A5050112206 @default.
- W2396257566 creator A5053520475 @default.
- W2396257566 creator A5068407760 @default.
- W2396257566 date "2015-01-01" @default.
- W2396257566 modified "2023-09-23" @default.
- W2396257566 title "Cooperative Reactive Synthesis" @default.
- W2396257566 cites W1481074184 @default.
- W2396257566 cites W1523747463 @default.
- W2396257566 cites W1553601846 @default.
- W2396257566 cites W1605697145 @default.
- W2396257566 cites W1608875152 @default.
- W2396257566 cites W1620603552 @default.
- W2396257566 cites W1786377004 @default.
- W2396257566 cites W1975294133 @default.
- W2396257566 cites W2016206563 @default.
- W2396257566 cites W2037919977 @default.
- W2396257566 cites W2041701185 @default.
- W2396257566 cites W2048905609 @default.
- W2396257566 cites W2080915207 @default.
- W2396257566 cites W2121894842 @default.
- W2396257566 cites W2221866689 @default.
- W2396257566 cites W2912248071 @default.
- W2396257566 cites W2912494578 @default.
- W2396257566 cites W2914450072 @default.
- W2396257566 doi "https://doi.org/10.1007/978-3-319-24953-7_29" @default.
- W2396257566 hasPublicationYear "2015" @default.
- W2396257566 type Work @default.
- W2396257566 sameAs 2396257566 @default.
- W2396257566 citedByCount "22" @default.
- W2396257566 countsByYear W23962575662015 @default.
- W2396257566 countsByYear W23962575662016 @default.
- W2396257566 countsByYear W23962575662017 @default.
- W2396257566 countsByYear W23962575662018 @default.
- W2396257566 countsByYear W23962575662019 @default.
- W2396257566 countsByYear W23962575662020 @default.
- W2396257566 countsByYear W23962575662021 @default.
- W2396257566 countsByYear W23962575662023 @default.
- W2396257566 crossrefType "book-chapter" @default.
- W2396257566 hasAuthorship W2396257566A5050112206 @default.
- W2396257566 hasAuthorship W2396257566A5053520475 @default.
- W2396257566 hasAuthorship W2396257566A5068407760 @default.
- W2396257566 hasBestOaLocation W23962575662 @default.
- W2396257566 hasConcept C120314980 @default.
- W2396257566 hasConcept C162324750 @default.
- W2396257566 hasConcept C165696696 @default.
- W2396257566 hasConcept C25016198 @default.
- W2396257566 hasConcept C31170391 @default.
- W2396257566 hasConcept C34447519 @default.
- W2396257566 hasConcept C38652104 @default.
- W2396257566 hasConcept C41008148 @default.
- W2396257566 hasConcept C4777664 @default.
- W2396257566 hasConcept C80444323 @default.
- W2396257566 hasConceptScore W2396257566C120314980 @default.
- W2396257566 hasConceptScore W2396257566C162324750 @default.
- W2396257566 hasConceptScore W2396257566C165696696 @default.
- W2396257566 hasConceptScore W2396257566C25016198 @default.
- W2396257566 hasConceptScore W2396257566C31170391 @default.
- W2396257566 hasConceptScore W2396257566C34447519 @default.
- W2396257566 hasConceptScore W2396257566C38652104 @default.
- W2396257566 hasConceptScore W2396257566C41008148 @default.
- W2396257566 hasConceptScore W2396257566C4777664 @default.
- W2396257566 hasConceptScore W2396257566C80444323 @default.
- W2396257566 hasLocation W23962575661 @default.
- W2396257566 hasLocation W23962575662 @default.
- W2396257566 hasOpenAccess W2396257566 @default.
- W2396257566 hasPrimaryLocation W23962575661 @default.
- W2396257566 hasRelatedWork W1031601050 @default.
- W2396257566 hasRelatedWork W1546948343 @default.
- W2396257566 hasRelatedWork W2013878945 @default.
- W2396257566 hasRelatedWork W2099776859 @default.
- W2396257566 hasRelatedWork W2110468917 @default.
- W2396257566 hasRelatedWork W2128417237 @default.
- W2396257566 hasRelatedWork W2560930356 @default.
- W2396257566 hasRelatedWork W2931443989 @default.
- W2396257566 hasRelatedWork W3005864166 @default.
- W2396257566 hasRelatedWork W3175774282 @default.
- W2396257566 isParatext "false" @default.
- W2396257566 isRetracted "false" @default.
- W2396257566 magId "2396257566" @default.
- W2396257566 workType "book-chapter" @default.