Matches in SemOpenAlex for { <https://semopenalex.org/work/W140214610> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W140214610 endingPage "54" @default.
- W140214610 startingPage "39" @default.
- W140214610 abstract "We study the synthesis problem for specifications of the common fragment of ACTL (computation tree logic with only universal path quantification) and LTL (linear-time temporal logic). Key to this setting is a novel construction for translating properties from LTL to very-weak automata, whenever possible. Such automata are structurally simple and thus amenable to optimizations as well as symbolic implementations. Based on this novel construction, we describe a synthesis approach that inherits the efficiency of generalized reactivity(1) synthesis [27], but is significantly richer in terms of expressivity." @default.
- W140214610 created "2016-06-24" @default.
- W140214610 creator A5050112206 @default.
- W140214610 date "2012-01-01" @default.
- W140214610 modified "2023-09-27" @default.
- W140214610 title "ACTL ∩ LTL Synthesis" @default.
- W140214610 cites W1483600339 @default.
- W140214610 cites W1489391022 @default.
- W140214610 cites W1499119186 @default.
- W140214610 cites W1505081061 @default.
- W140214610 cites W1517638774 @default.
- W140214610 cites W1540597046 @default.
- W140214610 cites W1543575039 @default.
- W140214610 cites W1582359184 @default.
- W140214610 cites W1607066266 @default.
- W140214610 cites W1971138850 @default.
- W140214610 cites W1974672595 @default.
- W140214610 cites W2024646106 @default.
- W140214610 cites W2042541180 @default.
- W140214610 cites W2061438988 @default.
- W140214610 cites W2087107980 @default.
- W140214610 cites W2089003125 @default.
- W140214610 cites W2095620890 @default.
- W140214610 cites W2113108692 @default.
- W140214610 cites W2113511408 @default.
- W140214610 cites W2122620434 @default.
- W140214610 cites W2130429059 @default.
- W140214610 cites W2157839056 @default.
- W140214610 cites W2166856993 @default.
- W140214610 cites W3023554972 @default.
- W140214610 cites W87998981 @default.
- W140214610 doi "https://doi.org/10.1007/978-3-642-31424-7_9" @default.
- W140214610 hasPublicationYear "2012" @default.
- W140214610 type Work @default.
- W140214610 sameAs 140214610 @default.
- W140214610 citedByCount "5" @default.
- W140214610 countsByYear W1402146102018 @default.
- W140214610 countsByYear W1402146102019 @default.
- W140214610 countsByYear W1402146102020 @default.
- W140214610 crossrefType "book-chapter" @default.
- W140214610 hasAuthorship W140214610A5050112206 @default.
- W140214610 hasBestOaLocation W1402146101 @default.
- W140214610 hasConcept C111472728 @default.
- W140214610 hasConcept C112505250 @default.
- W140214610 hasConcept C113174947 @default.
- W140214610 hasConcept C134306372 @default.
- W140214610 hasConcept C138885662 @default.
- W140214610 hasConcept C198008173 @default.
- W140214610 hasConcept C199360897 @default.
- W140214610 hasConcept C25016198 @default.
- W140214610 hasConcept C26517878 @default.
- W140214610 hasConcept C26713055 @default.
- W140214610 hasConcept C2776235265 @default.
- W140214610 hasConcept C2778583254 @default.
- W140214610 hasConcept C2780586882 @default.
- W140214610 hasConcept C33923547 @default.
- W140214610 hasConcept C38652104 @default.
- W140214610 hasConcept C41008148 @default.
- W140214610 hasConcept C4777664 @default.
- W140214610 hasConcept C80444323 @default.
- W140214610 hasConceptScore W140214610C111472728 @default.
- W140214610 hasConceptScore W140214610C112505250 @default.
- W140214610 hasConceptScore W140214610C113174947 @default.
- W140214610 hasConceptScore W140214610C134306372 @default.
- W140214610 hasConceptScore W140214610C138885662 @default.
- W140214610 hasConceptScore W140214610C198008173 @default.
- W140214610 hasConceptScore W140214610C199360897 @default.
- W140214610 hasConceptScore W140214610C25016198 @default.
- W140214610 hasConceptScore W140214610C26517878 @default.
- W140214610 hasConceptScore W140214610C26713055 @default.
- W140214610 hasConceptScore W140214610C2776235265 @default.
- W140214610 hasConceptScore W140214610C2778583254 @default.
- W140214610 hasConceptScore W140214610C2780586882 @default.
- W140214610 hasConceptScore W140214610C33923547 @default.
- W140214610 hasConceptScore W140214610C38652104 @default.
- W140214610 hasConceptScore W140214610C41008148 @default.
- W140214610 hasConceptScore W140214610C4777664 @default.
- W140214610 hasConceptScore W140214610C80444323 @default.
- W140214610 hasLocation W1402146101 @default.
- W140214610 hasOpenAccess W140214610 @default.
- W140214610 hasPrimaryLocation W1402146101 @default.
- W140214610 hasRelatedWork W1031601050 @default.
- W140214610 hasRelatedWork W140214610 @default.
- W140214610 hasRelatedWork W1527462432 @default.
- W140214610 hasRelatedWork W1546948343 @default.
- W140214610 hasRelatedWork W1596929852 @default.
- W140214610 hasRelatedWork W2028860036 @default.
- W140214610 hasRelatedWork W2110468917 @default.
- W140214610 hasRelatedWork W2610066027 @default.
- W140214610 hasRelatedWork W2931443989 @default.
- W140214610 hasRelatedWork W3148855524 @default.
- W140214610 isParatext "false" @default.
- W140214610 isRetracted "false" @default.
- W140214610 magId "140214610" @default.
- W140214610 workType "book-chapter" @default.