---
res:
  bibo_abstract:
  - 'We consider the distributed synthesis problem fortemporal 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 LTLand 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.@eng'
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Krishnendu
      foaf_name: Chatterjee, Krishnendu
      foaf_surname: Chatterjee
      foaf_workInfoHomepage: http://www.librecat.org/personId=2E5DCA20-F248-11E8-B48F-1D18A9856A87
    orcid: 0000-0002-4561-241X
  - foaf_Person:
      foaf_givenName: Thomas A
      foaf_name: Henzinger, Thomas A
      foaf_surname: Henzinger
      foaf_workInfoHomepage: http://www.librecat.org/personId=40876CD8-F248-11E8-B48F-1D18A9856A87
    orcid: 0000−0002−2985−7724
  - foaf_Person:
      foaf_givenName: Jan
      foaf_name: Otop, Jan
      foaf_surname: Otop
      foaf_workInfoHomepage: http://www.librecat.org/personId=2FC5DA74-F248-11E8-B48F-1D18A9856A87
  - foaf_Person:
      foaf_givenName: Andreas
      foaf_name: Pavlogiannis, Andreas
      foaf_surname: Pavlogiannis
      foaf_workInfoHomepage: http://www.librecat.org/personId=49704004-F248-11E8-B48F-1D18A9856A87
    orcid: 0000-0002-8943-0722
  bibo_doi: 10.15479/AT:IST-2013-130-v1-1
  dct_date: 2013^xs_gYear
  dct_isPartOf:
  - http://id.crossref.org/issn/2664-1690
  dct_language: eng
  dct_publisher: IST Austria@
  dct_title: Distributed synthesis for LTL Fragments@
...