FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2127162145> ?p ?o ?g. }

• W2127162145 abstract "We consider the distributed synthesis problem for temporal logic specifications. Traditionally, the problem has been studied for LTL, and the previous results show that the problem is decidable iff there is no information fork in the architecture. We consider the problem for fragments of LTL and our main results are as follows: (1) We show that the problem is undecidable for architectures with information forks even for the fragment of LTL with temporal operators restricted to next and eventually. (2) For specifications restricted to globally along with non-nested next operators, we establish decidability (in EXPSPACE) for star architectures where the processes receive disjoint inputs, whereas we establish undecidability for architectures containing an information fork-meet structure. (3) Finally, we consider LTL without the next operator, and establish decidability (NEXPTIME-complete) for all architectures for a fragment that consists of a set of safety assumptions, and a set of guarantees where each guarantee is a safety, reachability, or liveness condition." @default.
• W2127162145 created "2016-06-24" @default.
• W2127162145 creator A5022252401 @default.
• W2127162145 creator A5052607806 @default.
• W2127162145 creator A5080555605 @default.
• W2127162145 creator A5089075636 @default.
• W2127162145 date "2013-10-01" @default.
• W2127162145 modified "2023-10-18" @default.
• W2127162145 title "Distributed synthesis for LTL fragments" @default.
• W2127162145 cites W1592028210 @default.
• W2127162145 cites W1610578937 @default.
• W2127162145 cites W1783469492 @default.
• W2127162145 cites W1973302434 @default.
• W2127162145 cites W1979349468 @default.
• W2127162145 cites W1988808695 @default.
• W2127162145 cites W2016206563 @default.
• W2127162145 cites W2022810653 @default.
• W2127162145 cites W2023808162 @default.
• W2127162145 cites W2066219736 @default.
• W2127162145 cites W2098035530 @default.
• W2127162145 cites W2127162145 @default.
• W2127162145 cites W2147999468 @default.
• W2127162145 cites W2178626170 @default.
• W2127162145 doi "https://doi.org/10.1109/fmcad.2013.6679386" @default.
• W2127162145 hasPublicationYear "2013" @default.
• W2127162145 type Work @default.
• W2127162145 sameAs 2127162145 @default.
• W2127162145 citedByCount "17" @default.
• W2127162145 countsByYear W21271621452013 @default.
• W2127162145 countsByYear W21271621452014 @default.
• W2127162145 countsByYear W21271621452015 @default.
• W2127162145 countsByYear W21271621452016 @default.
• W2127162145 countsByYear W21271621452017 @default.
• W2127162145 countsByYear W21271621452018 @default.
• W2127162145 countsByYear W21271621452019 @default.
• W2127162145 countsByYear W21271621452021 @default.
• W2127162145 countsByYear W21271621452023 @default.
• W2127162145 crossrefType "proceedings-article" @default.
• W2127162145 hasAuthorship W2127162145A5022252401 @default.
• W2127162145 hasAuthorship W2127162145A5052607806 @default.
• W2127162145 hasAuthorship W2127162145A5080555605 @default.
• W2127162145 hasAuthorship W2127162145A5089075636 @default.
• W2127162145 hasConcept C104317684 @default.
• W2127162145 hasConcept C110251889 @default.
• W2127162145 hasConcept C118615104 @default.
• W2127162145 hasConcept C136643341 @default.
• W2127162145 hasConcept C153269930 @default.
• W2127162145 hasConcept C15569618 @default.
• W2127162145 hasConcept C158448853 @default.
• W2127162145 hasConcept C17020691 @default.
• W2127162145 hasConcept C177264268 @default.
• W2127162145 hasConcept C185592680 @default.
• W2127162145 hasConcept C192034797 @default.
• W2127162145 hasConcept C199360897 @default.
• W2127162145 hasConcept C25016198 @default.
• W2127162145 hasConcept C2776235265 @default.
• W2127162145 hasConcept C2777669093 @default.
• W2127162145 hasConcept C33923547 @default.
• W2127162145 hasConcept C41008148 @default.
• W2127162145 hasConcept C45340560 @default.
• W2127162145 hasConcept C4777664 @default.
• W2127162145 hasConcept C55493867 @default.
• W2127162145 hasConcept C80444323 @default.
• W2127162145 hasConcept C86339819 @default.
• W2127162145 hasConceptScore W2127162145C104317684 @default.
• W2127162145 hasConceptScore W2127162145C110251889 @default.
• W2127162145 hasConceptScore W2127162145C118615104 @default.
• W2127162145 hasConceptScore W2127162145C136643341 @default.
• W2127162145 hasConceptScore W2127162145C153269930 @default.
• W2127162145 hasConceptScore W2127162145C15569618 @default.
• W2127162145 hasConceptScore W2127162145C158448853 @default.
• W2127162145 hasConceptScore W2127162145C17020691 @default.
• W2127162145 hasConceptScore W2127162145C177264268 @default.
• W2127162145 hasConceptScore W2127162145C185592680 @default.
• W2127162145 hasConceptScore W2127162145C192034797 @default.
• W2127162145 hasConceptScore W2127162145C199360897 @default.
• W2127162145 hasConceptScore W2127162145C25016198 @default.
• W2127162145 hasConceptScore W2127162145C2776235265 @default.
• W2127162145 hasConceptScore W2127162145C2777669093 @default.
• W2127162145 hasConceptScore W2127162145C33923547 @default.
• W2127162145 hasConceptScore W2127162145C41008148 @default.
• W2127162145 hasConceptScore W2127162145C45340560 @default.
• W2127162145 hasConceptScore W2127162145C4777664 @default.
• W2127162145 hasConceptScore W2127162145C55493867 @default.
• W2127162145 hasConceptScore W2127162145C80444323 @default.
• W2127162145 hasConceptScore W2127162145C86339819 @default.
• W2127162145 hasLocation W21271621451 @default.
• W2127162145 hasOpenAccess W2127162145 @default.
• W2127162145 hasPrimaryLocation W21271621451 @default.
• W2127162145 hasRelatedWork W1489794625 @default.
• W2127162145 hasRelatedWork W1602322980 @default.
• W2127162145 hasRelatedWork W1853345069 @default.
• W2127162145 hasRelatedWork W2017872109 @default.
• W2127162145 hasRelatedWork W2803699674 @default.
• W2127162145 hasRelatedWork W2912387534 @default.
• W2127162145 hasRelatedWork W2940295387 @default.
• W2127162145 hasRelatedWork W2950921017 @default.
• W2127162145 hasRelatedWork W3102946820 @default.
• W2127162145 hasRelatedWork W4300286803 @default.
• W2127162145 isParatext "false" @default.

• next