Matches in SemOpenAlex for { <https://semopenalex.org/work/W1852279314> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W1852279314 endingPage "44" @default.
- W1852279314 startingPage "31" @default.
- W1852279314 abstract "In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for system synthesis, little of this theory has been reduced to practice. This is in contrast with model-checking theory, which has led to industrial development and use of formal verification tools. We see two main reasons for the lack of practical impact of synthesis. The first is algorithmic: synthesis involves determinization of automata on infinite words, and a solution of parity games with highly complex state spaces; both problems have been notoriously resistant to efficient implementation. The second is methodological: current theory of synthesis assumes a single comprehensive specification. In practice, however, the specification is composed of a set of properties, which is typically evolving – properties may be added, deleted, or modified.In this work we address both issues. We extend the Safraless synthesis algorithm of Kupferman and Vardi so that it handles LTL formulas by translating them to nondeterministic generalized Büchi automata. This leads to an exponential improvement in the complexity of the algorithm. Technically, our algorithm reduces the synthesis problem to the emptiness problem of a nondeterministic Büchi tree automaton ({cal A}). The generation of ({cal A}) avoids determinization, avoids the parity acceptance condition, and is based on an analysis of runs of universal generalized co-Büchi tree automata. The clean and simple structure of ({cal A}) enables optimizations and a symbolic implementation. In addition, it makes it possible to use information gathered during the synthesis process of properties in the process of synthesizing their conjunction." @default.
- W1852279314 created "2016-06-24" @default.
- W1852279314 creator A5000059818 @default.
- W1852279314 creator A5045161607 @default.
- W1852279314 creator A5077429082 @default.
- W1852279314 date "2006-01-01" @default.
- W1852279314 modified "2023-10-02" @default.
- W1852279314 title "Safraless Compositional Synthesis" @default.
- W1852279314 cites W135426567 @default.
- W1852279314 cites W1491037212 @default.
- W1852279314 cites W1504333451 @default.
- W1852279314 cites W1505081061 @default.
- W1852279314 cites W1506588809 @default.
- W1852279314 cites W1519020297 @default.
- W1852279314 cites W1529546258 @default.
- W1852279314 cites W1590266960 @default.
- W1852279314 cites W1607782211 @default.
- W1852279314 cites W17866615 @default.
- W1852279314 cites W1818793721 @default.
- W1852279314 cites W1971073703 @default.
- W1852279314 cites W2007981995 @default.
- W1852279314 cites W2016206563 @default.
- W1852279314 cites W2031592188 @default.
- W1852279314 cites W2050073538 @default.
- W1852279314 cites W2051621669 @default.
- W1852279314 cites W2086970337 @default.
- W1852279314 cites W2090398333 @default.
- W1852279314 cites W2502103274 @default.
- W1852279314 cites W2952908521 @default.
- W1852279314 cites W3023554972 @default.
- W1852279314 cites W4245752840 @default.
- W1852279314 doi "https://doi.org/10.1007/11817963_6" @default.
- W1852279314 hasPublicationYear "2006" @default.
- W1852279314 type Work @default.
- W1852279314 sameAs 1852279314 @default.
- W1852279314 citedByCount "61" @default.
- W1852279314 countsByYear W18522793142012 @default.
- W1852279314 countsByYear W18522793142013 @default.
- W1852279314 countsByYear W18522793142014 @default.
- W1852279314 countsByYear W18522793142015 @default.
- W1852279314 countsByYear W18522793142016 @default.
- W1852279314 countsByYear W18522793142017 @default.
- W1852279314 countsByYear W18522793142018 @default.
- W1852279314 countsByYear W18522793142019 @default.
- W1852279314 countsByYear W18522793142020 @default.
- W1852279314 countsByYear W18522793142021 @default.
- W1852279314 countsByYear W18522793142022 @default.
- W1852279314 countsByYear W18522793142023 @default.
- W1852279314 crossrefType "book-chapter" @default.
- W1852279314 hasAuthorship W1852279314A5000059818 @default.
- W1852279314 hasAuthorship W1852279314A5045161607 @default.
- W1852279314 hasAuthorship W1852279314A5077429082 @default.
- W1852279314 hasBestOaLocation W18522793141 @default.
- W1852279314 hasConcept C112505250 @default.
- W1852279314 hasConcept C11413529 @default.
- W1852279314 hasConcept C176181172 @default.
- W1852279314 hasConcept C2776937632 @default.
- W1852279314 hasConcept C41008148 @default.
- W1852279314 hasConcept C80444323 @default.
- W1852279314 hasConceptScore W1852279314C112505250 @default.
- W1852279314 hasConceptScore W1852279314C11413529 @default.
- W1852279314 hasConceptScore W1852279314C176181172 @default.
- W1852279314 hasConceptScore W1852279314C2776937632 @default.
- W1852279314 hasConceptScore W1852279314C41008148 @default.
- W1852279314 hasConceptScore W1852279314C80444323 @default.
- W1852279314 hasLocation W18522793141 @default.
- W1852279314 hasOpenAccess W1852279314 @default.
- W1852279314 hasPrimaryLocation W18522793141 @default.
- W1852279314 hasRelatedWork W1825940007 @default.
- W1852279314 hasRelatedWork W1974905959 @default.
- W1852279314 hasRelatedWork W204503899 @default.
- W1852279314 hasRelatedWork W2100326215 @default.
- W1852279314 hasRelatedWork W2109183219 @default.
- W1852279314 hasRelatedWork W2114998520 @default.
- W1852279314 hasRelatedWork W2625519638 @default.
- W1852279314 hasRelatedWork W2888015909 @default.
- W1852279314 hasRelatedWork W67518080 @default.
- W1852279314 hasRelatedWork W2085821685 @default.
- W1852279314 isParatext "false" @default.
- W1852279314 isRetracted "false" @default.
- W1852279314 magId "1852279314" @default.
- W1852279314 workType "book-chapter" @default.