{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:VWKBHXBBW2CMNGTMCNTYHVLHQB","short_pith_number":"pith:VWKBHXBB","canonical_record":{"source":{"id":"2602.17434","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2026-02-19T15:05:16Z","cross_cats_sorted":["cs.MA","cs.SY"],"title_canon_sha256":"0a712f01d6261fd6975c1f4f0704a65628654ef96c60c6e940c14903bedd2b9f","abstract_canon_sha256":"6e4f0dd2de2ee999d7b695dd5824dc01e98a45e10f607f27c05d7ae2208ab220"},"schema_version":"1.0"},"canonical_sha256":"ad9413dc21b684c69a6c136783d567805e88d3bd10f401a244a198088e93584c","source":{"kind":"arxiv","id":"2602.17434","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2602.17434","created_at":"2026-06-04T01:08:45Z"},{"alias_kind":"arxiv_version","alias_value":"2602.17434v2","created_at":"2026-06-04T01:08:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2602.17434","created_at":"2026-06-04T01:08:45Z"},{"alias_kind":"pith_short_12","alias_value":"VWKBHXBBW2CM","created_at":"2026-06-04T01:08:45Z"},{"alias_kind":"pith_short_16","alias_value":"VWKBHXBBW2CMNGTM","created_at":"2026-06-04T01:08:45Z"},{"alias_kind":"pith_short_8","alias_value":"VWKBHXBB","created_at":"2026-06-04T01:08:45Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:VWKBHXBBW2CMNGTMCNTYHVLHQB","target":"record","payload":{"canonical_record":{"source":{"id":"2602.17434","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2026-02-19T15:05:16Z","cross_cats_sorted":["cs.MA","cs.SY"],"title_canon_sha256":"0a712f01d6261fd6975c1f4f0704a65628654ef96c60c6e940c14903bedd2b9f","abstract_canon_sha256":"6e4f0dd2de2ee999d7b695dd5824dc01e98a45e10f607f27c05d7ae2208ab220"},"schema_version":"1.0"},"canonical_sha256":"ad9413dc21b684c69a6c136783d567805e88d3bd10f401a244a198088e93584c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-04T01:08:45.750764Z","signature_b64":"lJJpFTrXBuhNSONhwmW4zIbG+6cra7qSnpP3hkXacV8xk7bL5D70sX4YbhGot7PmRY5eoaLKzb2zpX6J7hTUCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ad9413dc21b684c69a6c136783d567805e88d3bd10f401a244a198088e93584c","last_reissued_at":"2026-06-04T01:08:45.749946Z","signature_status":"signed_v1","first_computed_at":"2026-06-04T01:08:45.749946Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2602.17434","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-06-04T01:08:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fSxKPm4ggjt920WbFyflbGwZoN1T9K7VWOL5OsOq7caum7KXC2WzhKYQuyzRVYfZyAq37aVS35Lo5cWGwATHAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T23:13:05.166333Z"},"content_sha256":"c1bb95b5e9b0bea077e452323f82939a87b058d8f493333fafec6ecd6fd5e641","schema_version":"1.0","event_id":"sha256:c1bb95b5e9b0bea077e452323f82939a87b058d8f493333fafec6ecd6fd5e641"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:VWKBHXBBW2CMNGTMCNTYHVLHQB","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Multi-Agent Temporal Logic Planning via Penalty Functions and Block-Coordinate Optimization","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.MA","cs.SY"],"primary_cat":"eess.SY","authors_text":"Arash Bahari Kordabad, Dimos V. Dimarogonas, Eleftherios E. Vlahakis, Lars Lindemann, Pantelis Sopasakis, Sadegh Soudjani","submitted_at":"2026-02-19T15:05:16Z","abstract_excerpt":"Multi-agent planning under Signal Temporal Logic (STL) is often hindered by collaborative tasks that lead to computational challenges due to the inherent high dimensionality of the problem, preventing scalable synthesis with satisfaction guarantees. To address this, we formulate STL planning as an optimization program under multi-agent STL constraints and introduce a penalty-based unconstrained relaxation that can be efficiently solved via a Block-Coordinate Gradient Descent (BCGD) method, where each block corresponds to a single agent's decision variables, thereby mitigating complexity. By ut"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2602.17434","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2602.17434/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-06-04T01:08:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RhS2l9vJyFk1uko5z1lErO6VFPgMZvJeXYysJRCoLdpZLVUuelxtyRE59hJR16Z42fKf6nHPwsvTEqonFpuZAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T23:13:05.166729Z"},"content_sha256":"fe35aa56f7ffbd1bb9287de6564e989b7b221419a38bc56ab0d269fb9ae32081","schema_version":"1.0","event_id":"sha256:fe35aa56f7ffbd1bb9287de6564e989b7b221419a38bc56ab0d269fb9ae32081"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VWKBHXBBW2CMNGTMCNTYHVLHQB/bundle.json","state_url":"https://pith.science/pith/VWKBHXBBW2CMNGTMCNTYHVLHQB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VWKBHXBBW2CMNGTMCNTYHVLHQB/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-23T23:13:05Z","links":{"resolver":"https://pith.science/pith/VWKBHXBBW2CMNGTMCNTYHVLHQB","bundle":"https://pith.science/pith/VWKBHXBBW2CMNGTMCNTYHVLHQB/bundle.json","state":"https://pith.science/pith/VWKBHXBBW2CMNGTMCNTYHVLHQB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VWKBHXBBW2CMNGTMCNTYHVLHQB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:VWKBHXBBW2CMNGTMCNTYHVLHQB","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":"6e4f0dd2de2ee999d7b695dd5824dc01e98a45e10f607f27c05d7ae2208ab220","cross_cats_sorted":["cs.MA","cs.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2026-02-19T15:05:16Z","title_canon_sha256":"0a712f01d6261fd6975c1f4f0704a65628654ef96c60c6e940c14903bedd2b9f"},"schema_version":"1.0","source":{"id":"2602.17434","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2602.17434","created_at":"2026-06-04T01:08:45Z"},{"alias_kind":"arxiv_version","alias_value":"2602.17434v2","created_at":"2026-06-04T01:08:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2602.17434","created_at":"2026-06-04T01:08:45Z"},{"alias_kind":"pith_short_12","alias_value":"VWKBHXBBW2CM","created_at":"2026-06-04T01:08:45Z"},{"alias_kind":"pith_short_16","alias_value":"VWKBHXBBW2CMNGTM","created_at":"2026-06-04T01:08:45Z"},{"alias_kind":"pith_short_8","alias_value":"VWKBHXBB","created_at":"2026-06-04T01:08:45Z"}],"graph_snapshots":[{"event_id":"sha256:fe35aa56f7ffbd1bb9287de6564e989b7b221419a38bc56ab0d269fb9ae32081","target":"graph","created_at":"2026-06-04T01:08:45Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2602.17434/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Multi-agent planning under Signal Temporal Logic (STL) is often hindered by collaborative tasks that lead to computational challenges due to the inherent high dimensionality of the problem, preventing scalable synthesis with satisfaction guarantees. To address this, we formulate STL planning as an optimization program under multi-agent STL constraints and introduce a penalty-based unconstrained relaxation that can be efficiently solved via a Block-Coordinate Gradient Descent (BCGD) method, where each block corresponds to a single agent's decision variables, thereby mitigating complexity. By ut","authors_text":"Arash Bahari Kordabad, Dimos V. Dimarogonas, Eleftherios E. Vlahakis, Lars Lindemann, Pantelis Sopasakis, Sadegh Soudjani","cross_cats":["cs.MA","cs.SY"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2026-02-19T15:05:16Z","title":"Multi-Agent Temporal Logic Planning via Penalty Functions and Block-Coordinate Optimization"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2602.17434","kind":"arxiv","version":2},"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:c1bb95b5e9b0bea077e452323f82939a87b058d8f493333fafec6ecd6fd5e641","target":"record","created_at":"2026-06-04T01:08:45Z","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":"6e4f0dd2de2ee999d7b695dd5824dc01e98a45e10f607f27c05d7ae2208ab220","cross_cats_sorted":["cs.MA","cs.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2026-02-19T15:05:16Z","title_canon_sha256":"0a712f01d6261fd6975c1f4f0704a65628654ef96c60c6e940c14903bedd2b9f"},"schema_version":"1.0","source":{"id":"2602.17434","kind":"arxiv","version":2}},"canonical_sha256":"ad9413dc21b684c69a6c136783d567805e88d3bd10f401a244a198088e93584c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ad9413dc21b684c69a6c136783d567805e88d3bd10f401a244a198088e93584c","first_computed_at":"2026-06-04T01:08:45.749946Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-04T01:08:45.749946Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"lJJpFTrXBuhNSONhwmW4zIbG+6cra7qSnpP3hkXacV8xk7bL5D70sX4YbhGot7PmRY5eoaLKzb2zpX6J7hTUCg==","signature_status":"signed_v1","signed_at":"2026-06-04T01:08:45.750764Z","signed_message":"canonical_sha256_bytes"},"source_id":"2602.17434","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c1bb95b5e9b0bea077e452323f82939a87b058d8f493333fafec6ecd6fd5e641","sha256:fe35aa56f7ffbd1bb9287de6564e989b7b221419a38bc56ab0d269fb9ae32081"],"state_sha256":"abc84dbea77c6576204fdef36d31470baa8175fa4e5fefc1ddeac69f698b3598"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"j2w+hFZFa4ayyd/Efo5+SqZHORJ0b4QBfpoNl2X/sdfTC+unm4N06d2O8yDoO70kHkwzFfaVtLt6jvHAmcFIDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-23T23:13:05.168956Z","bundle_sha256":"6ba721f891a52764b23a572eb7f4e824e217b7d0a2e1dd02841e21f4e4bc4b23"}}