---
res:
  bibo_abstract:
  - We study the problem of generating paths on a graph that satisfy a collection
    of w-regular objectives. We propose a decoupled framework in which each objective
    is assigned to an independent agent that selects a local policy, while a scheduler—oblivious
    to the graph and objective—dynamically composes these policies into a single path.
    We ask when such a composition satisfies all objectives, assuming their conjunction
    is realizable. The framework enables modular policy design but raises fundamental
    compositional challenges. We show that even extremely fair deterministic schedulers
    do not ensure correctness, and that stochastic schedulers, while necessary, are
    insufficient without coordination. For safety objectives, we demonstrate that
    fully decentralized implementations are impossible, and we introduce a protocol
    for synchronizing on maximal safe actions. For non-safety objectives, we introduce
    conventions—simple, a priori restrictions agreed upon before the graph or objectives
    are revealed—that guarantee satisfaction of all objectives when followed by all
    agents. We characterize minimally restrictive conventions for major subclasses
    of w-regular objectives. In particular, Büchi objectives admit universal composition
    of finite-memory policies without scheduler communication; co-Büchi objectives
    require only knowledge of whether the agent was scheduled; and parity objectives
    additionally require knowledge of which agent was scheduled.@eng
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Guy
      foaf_name: Avni, Guy
      foaf_surname: Avni
      foaf_workInfoHomepage: http://www.librecat.org/personId=463C8BC2-F248-11E8-B48F-1D18A9856A87
    orcid: 0000-0001-5588-8287
  - 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: Kaushik
      foaf_name: Mallik, Kaushik
      foaf_surname: Mallik
      foaf_workInfoHomepage: http://www.librecat.org/personId=0834ff3c-6d72-11ec-94e0-b5b0a4fb8598
    orcid: 0000-0001-9864-7475
  - foaf_Person:
      foaf_givenName: Suman
      foaf_name: Sadhukhan, Suman
      foaf_surname: Sadhukhan
  - foaf_Person:
      foaf_givenName: K. S.
      foaf_name: Thejaswini, K. S.
      foaf_surname: Thejaswini
  bibo_doi: 10.1007/978-3-032-32519-8_13
  bibo_volume: 16682
  dct_date: 2026^xs_gYear
  dct_isPartOf:
  - http://id.crossref.org/issn/0302-9743
  - http://id.crossref.org/issn/1611-3349
  - http://id.crossref.org/issn/9783032325181
  dct_language: eng
  dct_publisher: Springer Nature@
  dct_title: Decoupled planning for multiple omega-regular objectives@
...