Matches in SemOpenAlex for { <https://semopenalex.org/work/W2395382078> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W2395382078 endingPage "516" @default.
- W2395382078 startingPage "501" @default.
- W2395382078 abstract "We consider the problem of compositional refinement of components' specifications in the context of compositional reactive synthesis. Our solution is based on automatic refinement of assumptions and guarantees expressed in linear temporal logic LTL. We show how behaviors of the environment and the system can be inferred from counter-strategies and strategies, respectively, as formulas in special forms called patterns. Instantiations of patterns are LTL formulas which hold over all runs of such strategies, and are used to refine the specification by adding new input assumptions or output guarantees. We propose three different approaches for compositional refinement of specifications, based on how much information is shared between the components, and demonstrate and compare the methods empirically." @default.
- W2395382078 created "2016-06-24" @default.
- W2395382078 creator A5051271775 @default.
- W2395382078 creator A5065059795 @default.
- W2395382078 creator A5068441112 @default.
- W2395382078 date "2015-01-01" @default.
- W2395382078 modified "2023-10-14" @default.
- W2395382078 title "Pattern-Based Refinement of Assume-Guarantee Specifications in Reactive Synthesis" @default.
- W2395382078 cites W1424654272 @default.
- W2395382078 cites W1499127572 @default.
- W2395382078 cites W1513516066 @default.
- W2395382078 cites W1517771483 @default.
- W2395382078 cites W1570601698 @default.
- W2395382078 cites W1608875152 @default.
- W2395382078 cites W2041701185 @default.
- W2395382078 cites W2076313089 @default.
- W2395382078 cites W2109525524 @default.
- W2395382078 cites W2962927158 @default.
- W2395382078 doi "https://doi.org/10.1007/978-3-662-46681-0_49" @default.
- W2395382078 hasPublicationYear "2015" @default.
- W2395382078 type Work @default.
- W2395382078 sameAs 2395382078 @default.
- W2395382078 citedByCount "14" @default.
- W2395382078 countsByYear W23953820782016 @default.
- W2395382078 countsByYear W23953820782017 @default.
- W2395382078 countsByYear W23953820782018 @default.
- W2395382078 countsByYear W23953820782019 @default.
- W2395382078 countsByYear W23953820782020 @default.
- W2395382078 countsByYear W23953820782021 @default.
- W2395382078 countsByYear W23953820782022 @default.
- W2395382078 crossrefType "book-chapter" @default.
- W2395382078 hasAuthorship W2395382078A5051271775 @default.
- W2395382078 hasAuthorship W2395382078A5065059795 @default.
- W2395382078 hasAuthorship W2395382078A5068441112 @default.
- W2395382078 hasBestOaLocation W23953820782 @default.
- W2395382078 hasConcept C199360897 @default.
- W2395382078 hasConcept C41008148 @default.
- W2395382078 hasConceptScore W2395382078C199360897 @default.
- W2395382078 hasConceptScore W2395382078C41008148 @default.
- W2395382078 hasLocation W23953820781 @default.
- W2395382078 hasLocation W23953820782 @default.
- W2395382078 hasOpenAccess W2395382078 @default.
- W2395382078 hasPrimaryLocation W23953820781 @default.
- W2395382078 hasRelatedWork W1527862632 @default.
- W2395382078 hasRelatedWork W2109507516 @default.
- W2395382078 hasRelatedWork W2112962394 @default.
- W2395382078 hasRelatedWork W2118300983 @default.
- W2395382078 hasRelatedWork W2135396778 @default.
- W2395382078 hasRelatedWork W2382501300 @default.
- W2395382078 hasRelatedWork W2740990710 @default.
- W2395382078 hasRelatedWork W3137189469 @default.
- W2395382078 hasRelatedWork W4235530921 @default.
- W2395382078 hasRelatedWork W4243252198 @default.
- W2395382078 isParatext "false" @default.
- W2395382078 isRetracted "false" @default.
- W2395382078 magId "2395382078" @default.
- W2395382078 workType "book-chapter" @default.