{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:UY4QRTPCMJ3X62MBECQUB75GPZ","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"fac795119a378ec67f2030128e16f0f9450d0875f755938f698e497324f94780","cross_cats_sorted":["cs.MA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2014-05-08T08:37:49Z","title_canon_sha256":"5a0869201c1a72f9e965aaa11e9bb59a8f9819b303317006fb111f1c6e1bf03d"},"schema_version":"1.0","source":{"id":"1405.1836","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1405.1836","created_at":"2026-05-18T02:52:15Z"},{"alias_kind":"arxiv_version","alias_value":"1405.1836v1","created_at":"2026-05-18T02:52:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1405.1836","created_at":"2026-05-18T02:52:15Z"},{"alias_kind":"pith_short_12","alias_value":"UY4QRTPCMJ3X","created_at":"2026-05-18T12:28:52Z"},{"alias_kind":"pith_short_16","alias_value":"UY4QRTPCMJ3X62MB","created_at":"2026-05-18T12:28:52Z"},{"alias_kind":"pith_short_8","alias_value":"UY4QRTPC","created_at":"2026-05-18T12:28:52Z"}],"graph_snapshots":[{"event_id":"sha256:f3217616a8e822f45a27a807c98a128dda6eec4434305f7e655e81c8dae38e1c","target":"graph","created_at":"2026-05-18T02:52:15Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"We propose a framework for the decentralized control of a team of agents that are assigned local tasks expressed as Linear Temporal Logic (LTL) formulas. Each local LTL task specification captures both the requirements on the respective agent's behavior and the requests for the other agents' collaborations needed to accomplish the task. Furthermore, the agents are subject to communication constraints. The presented solution follows the automata-theoretic approach to LTL model checking, however, it avoids the computationally demanding construction of synchronized product system between the agen","authors_text":"Dimos V. Dimarogonas, Jana Tumova, Meng Guo","cross_cats":["cs.MA"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2014-05-08T08:37:49Z","title":"Cooperative Decentralized Multi-agent Control under Local LTL Tasks and Connectivity Constraints"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1405.1836","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:891a38fe91decaddcf689bdee09de7395e2b217f4456dcc424bdd0edb25cf2a8","target":"record","created_at":"2026-05-18T02:52:15Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"fac795119a378ec67f2030128e16f0f9450d0875f755938f698e497324f94780","cross_cats_sorted":["cs.MA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2014-05-08T08:37:49Z","title_canon_sha256":"5a0869201c1a72f9e965aaa11e9bb59a8f9819b303317006fb111f1c6e1bf03d"},"schema_version":"1.0","source":{"id":"1405.1836","kind":"arxiv","version":1}},"canonical_sha256":"a63908cde262777f698120a140ffa67e4f83d27afefc4e4c9ab15b6055ae5421","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a63908cde262777f698120a140ffa67e4f83d27afefc4e4c9ab15b6055ae5421","first_computed_at":"2026-05-18T02:52:15.317132Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:52:15.317132Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"VOUhAeij3Nfbu6gnZNDaZxrZq6VLUusBiFu2kXM0Y0GBDUrYbpJdBrmpMM0uWB3QGJMQB8OwzgcCEf4wh949BQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:52:15.317714Z","signed_message":"canonical_sha256_bytes"},"source_id":"1405.1836","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:891a38fe91decaddcf689bdee09de7395e2b217f4456dcc424bdd0edb25cf2a8","sha256:f3217616a8e822f45a27a807c98a128dda6eec4434305f7e655e81c8dae38e1c"],"state_sha256":"ea41b12ee8340a359c9cd6a8aaba68c2a4fde3cc020f778522afb830811c8843"}