Matches in SemOpenAlex for { <https://semopenalex.org/work/W1499119186> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W1499119186 endingPage "127" @default.
- W1499119186 startingPage "112" @default.
- W1499119186 abstract "In this paper, we provide two compositional algorithms to solve safety games and apply them to provide compositional algorithms for the LTL synthesis problem. We have implemented those new compositional algorithms, and we demonstrate that they are able to handle full LTL specifications that are orders of magnitude larger than the specifications that can be treated by the current state of the art algorithms." @default.
- W1499119186 created "2016-06-24" @default.
- W1499119186 creator A5028133788 @default.
- W1499119186 creator A5049821685 @default.
- W1499119186 creator A5050196522 @default.
- W1499119186 date "2010-01-01" @default.
- W1499119186 modified "2023-10-12" @default.
- W1499119186 title "Compositional Algorithms for LTL Synthesis" @default.
- W1499119186 cites W1569390362 @default.
- W1499119186 cites W1590266960 @default.
- W1499119186 cites W1731774687 @default.
- W1499119186 cites W1846242859 @default.
- W1499119186 cites W1852279314 @default.
- W1499119186 cites W2031592188 @default.
- W1499119186 cites W2095620890 @default.
- W1499119186 cites W2106303294 @default.
- W1499119186 cites W2113511408 @default.
- W1499119186 cites W2139101939 @default.
- W1499119186 cites W2914665807 @default.
- W1499119186 cites W4231039526 @default.
- W1499119186 cites W4253380258 @default.
- W1499119186 doi "https://doi.org/10.1007/978-3-642-15643-4_10" @default.
- W1499119186 hasPublicationYear "2010" @default.
- W1499119186 type Work @default.
- W1499119186 sameAs 1499119186 @default.
- W1499119186 citedByCount "26" @default.
- W1499119186 countsByYear W14991191862012 @default.
- W1499119186 countsByYear W14991191862013 @default.
- W1499119186 countsByYear W14991191862015 @default.
- W1499119186 countsByYear W14991191862016 @default.
- W1499119186 countsByYear W14991191862017 @default.
- W1499119186 countsByYear W14991191862018 @default.
- W1499119186 countsByYear W14991191862019 @default.
- W1499119186 countsByYear W14991191862020 @default.
- W1499119186 countsByYear W14991191862021 @default.
- W1499119186 countsByYear W14991191862022 @default.
- W1499119186 crossrefType "book-chapter" @default.
- W1499119186 hasAuthorship W1499119186A5028133788 @default.
- W1499119186 hasAuthorship W1499119186A5049821685 @default.
- W1499119186 hasAuthorship W1499119186A5050196522 @default.
- W1499119186 hasBestOaLocation W14991191862 @default.
- W1499119186 hasConcept C11413529 @default.
- W1499119186 hasConcept C41008148 @default.
- W1499119186 hasConcept C48103436 @default.
- W1499119186 hasConcept C80444323 @default.
- W1499119186 hasConceptScore W1499119186C11413529 @default.
- W1499119186 hasConceptScore W1499119186C41008148 @default.
- W1499119186 hasConceptScore W1499119186C48103436 @default.
- W1499119186 hasConceptScore W1499119186C80444323 @default.
- W1499119186 hasLocation W14991191861 @default.
- W1499119186 hasLocation W14991191862 @default.
- W1499119186 hasLocation W14991191863 @default.
- W1499119186 hasOpenAccess W1499119186 @default.
- W1499119186 hasPrimaryLocation W14991191861 @default.
- W1499119186 hasRelatedWork W2051487156 @default.
- W1499119186 hasRelatedWork W2333698505 @default.
- W1499119186 hasRelatedWork W2351491280 @default.
- W1499119186 hasRelatedWork W2371447506 @default.
- W1499119186 hasRelatedWork W2386767533 @default.
- W1499119186 hasRelatedWork W2392953011 @default.
- W1499119186 hasRelatedWork W2748952813 @default.
- W1499119186 hasRelatedWork W2899084033 @default.
- W1499119186 hasRelatedWork W303980170 @default.
- W1499119186 hasRelatedWork W3087756144 @default.
- W1499119186 isParatext "false" @default.
- W1499119186 isRetracted "false" @default.
- W1499119186 magId "1499119186" @default.
- W1499119186 workType "book-chapter" @default.