@misc{indiciaeac72738dbbe7,
  title = {Contract-Based Decomposition of Temporal Logic Specifications for Networked Systems under Arbitrary Partitions},
  author = {Kodai Kanno and Kenta Hoshino and Takeshi Hatanaka},
  year = {2026},
  url = {https://arxiv.org/abs/2609.23579},
  note = {Source identifier: 2609.23579}
}