Matches in SemOpenAlex for { <https://semopenalex.org/work/W2913192371> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2913192371 endingPage "488" @default.
- W2913192371 startingPage "474" @default.
- W2913192371 abstract "The bounded synthesis problem is to construct an implementation that satisfies a given temporal specification and a given bound on the number of states. We present a solution to the bounded synthesis problem for linear-time temporal logic (LTL), based on a novel emptiness-preserving translation from LTL to safety tree automata. For distributed architectures, where standard unbounded synthesis is in general undecidable, we show that bounded synthesis can be reduced to a SAT problem. As a result, we obtain an effective algorithm for the bounded synthesis from LTL specifications in arbitrary architectures. By iteratively increasing the bound, our construction can also be used as a semi-decision procedure for the unbounded synthesis problem." @default.
- W2913192371 created "2019-02-21" @default.
- W2913192371 creator A5041836791 @default.
- W2913192371 creator A5048189898 @default.
- W2913192371 date "2007-10-22" @default.
- W2913192371 modified "2023-09-23" @default.
- W2913192371 title "Bounded synthesis" @default.
- W2913192371 cites W1490969264 @default.
- W2913192371 cites W1535331486 @default.
- W2913192371 cites W1547864995 @default.
- W2913192371 cites W1583869287 @default.
- W2913192371 cites W1610578937 @default.
- W2913192371 cites W1783469492 @default.
- W2913192371 cites W2098035530 @default.
- W2913192371 cites W2142785340 @default.
- W2913192371 cites W2150447589 @default.
- W2913192371 cites W2165726630 @default.
- W2913192371 hasPublicationYear "2007" @default.
- W2913192371 type Work @default.
- W2913192371 sameAs 2913192371 @default.
- W2913192371 citedByCount "40" @default.
- W2913192371 countsByYear W29131923712012 @default.
- W2913192371 countsByYear W29131923712013 @default.
- W2913192371 countsByYear W29131923712014 @default.
- W2913192371 countsByYear W29131923712015 @default.
- W2913192371 countsByYear W29131923712016 @default.
- W2913192371 countsByYear W29131923712017 @default.
- W2913192371 countsByYear W29131923712018 @default.
- W2913192371 countsByYear W29131923712019 @default.
- W2913192371 countsByYear W29131923712021 @default.
- W2913192371 crossrefType "proceedings-article" @default.
- W2913192371 hasAuthorship W2913192371A5041836791 @default.
- W2913192371 hasAuthorship W2913192371A5048189898 @default.
- W2913192371 hasConcept C110251889 @default.
- W2913192371 hasConcept C112505250 @default.
- W2913192371 hasConcept C11413529 @default.
- W2913192371 hasConcept C118615104 @default.
- W2913192371 hasConcept C134306372 @default.
- W2913192371 hasConcept C153269930 @default.
- W2913192371 hasConcept C192034797 @default.
- W2913192371 hasConcept C25016198 @default.
- W2913192371 hasConcept C33923547 @default.
- W2913192371 hasConcept C34388435 @default.
- W2913192371 hasConcept C41008148 @default.
- W2913192371 hasConcept C4777664 @default.
- W2913192371 hasConcept C80444323 @default.
- W2913192371 hasConceptScore W2913192371C110251889 @default.
- W2913192371 hasConceptScore W2913192371C112505250 @default.
- W2913192371 hasConceptScore W2913192371C11413529 @default.
- W2913192371 hasConceptScore W2913192371C118615104 @default.
- W2913192371 hasConceptScore W2913192371C134306372 @default.
- W2913192371 hasConceptScore W2913192371C153269930 @default.
- W2913192371 hasConceptScore W2913192371C192034797 @default.
- W2913192371 hasConceptScore W2913192371C25016198 @default.
- W2913192371 hasConceptScore W2913192371C33923547 @default.
- W2913192371 hasConceptScore W2913192371C34388435 @default.
- W2913192371 hasConceptScore W2913192371C41008148 @default.
- W2913192371 hasConceptScore W2913192371C4777664 @default.
- W2913192371 hasConceptScore W2913192371C80444323 @default.
- W2913192371 hasLocation W29131923711 @default.
- W2913192371 hasOpenAccess W2913192371 @default.
- W2913192371 hasPrimaryLocation W29131923711 @default.
- W2913192371 hasRelatedWork W143039783 @default.
- W2913192371 hasRelatedWork W1483600339 @default.
- W2913192371 hasRelatedWork W1517638774 @default.
- W2913192371 hasRelatedWork W1570601698 @default.
- W2913192371 hasRelatedWork W1582359184 @default.
- W2913192371 hasRelatedWork W1610578937 @default.
- W2913192371 hasRelatedWork W1737156267 @default.
- W2913192371 hasRelatedWork W1783469492 @default.
- W2913192371 hasRelatedWork W1786377004 @default.
- W2913192371 hasRelatedWork W2011735245 @default.
- W2913192371 hasRelatedWork W2016206563 @default.
- W2913192371 hasRelatedWork W2023808162 @default.
- W2913192371 hasRelatedWork W2031592188 @default.
- W2913192371 hasRelatedWork W2095620890 @default.
- W2913192371 hasRelatedWork W2108036288 @default.
- W2913192371 hasRelatedWork W2111299652 @default.
- W2913192371 hasRelatedWork W2113511408 @default.
- W2913192371 hasRelatedWork W2125267391 @default.
- W2913192371 hasRelatedWork W2150447589 @default.
- W2913192371 hasRelatedWork W3023554972 @default.
- W2913192371 isParatext "false" @default.
- W2913192371 isRetracted "false" @default.
- W2913192371 magId "2913192371" @default.
- W2913192371 workType "article" @default.