Contract-Based Decomposition of Temporal Logic Specifications for Networked Systems under Arbitrary Partitions

Kodai Kanno, Kenta Hoshino, Takeshi Hatanaka

Computational complexity is an inherent limitation of formal synthesis for networked systems, and decomposing the global specification into local ones relaxes this limitation at th…