{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:FUE4CIS33TWT64YU57L5NKTJNV","short_pith_number":"pith:FUE4CIS3","canonical_record":{"source":{"id":"2607.28679","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-07-29T16:12:58Z","cross_cats_sorted":["cs.MA"],"title_canon_sha256":"e442f60a31aa13105ff262cf8b5c875b5fa865d940eb0e1d3c63abb23636e86b","abstract_canon_sha256":"7666a34187d2e16992921425f1d32f3ad30a0a6a414c528bf35445f625424e1c"},"schema_version":"1.0"},"canonical_sha256":"2d09c1225bdced3f7314efd7d6aa696d65995f90b414491ba611db6b82199d21","source":{"kind":"arxiv","id":"2607.28679","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.28679","created_at":"2026-08-03T00:12:09Z"},{"alias_kind":"arxiv_version","alias_value":"2607.28679v1","created_at":"2026-08-03T00:12:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.28679","created_at":"2026-08-03T00:12:09Z"},{"alias_kind":"pith_short_12","alias_value":"FUE4CIS33TWT","created_at":"2026-08-03T00:12:09Z"},{"alias_kind":"pith_short_16","alias_value":"FUE4CIS33TWT64YU","created_at":"2026-08-03T00:12:09Z"},{"alias_kind":"pith_short_8","alias_value":"FUE4CIS3","created_at":"2026-08-03T00:12:09Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:FUE4CIS33TWT64YU57L5NKTJNV","target":"record","payload":{"canonical_record":{"source":{"id":"2607.28679","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-07-29T16:12:58Z","cross_cats_sorted":["cs.MA"],"title_canon_sha256":"e442f60a31aa13105ff262cf8b5c875b5fa865d940eb0e1d3c63abb23636e86b","abstract_canon_sha256":"7666a34187d2e16992921425f1d32f3ad30a0a6a414c528bf35445f625424e1c"},"schema_version":"1.0"},"canonical_sha256":"2d09c1225bdced3f7314efd7d6aa696d65995f90b414491ba611db6b82199d21","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-08-03T00:12:09.475778Z","signature_b64":"pFa70Et/MZN79WDACK1ItzF2YUEWYdIPpn39KSYengoHXsPZxLPDe/u45yqcOJ9qIjQgRAMD6ev6OXrZkT56Bg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2d09c1225bdced3f7314efd7d6aa696d65995f90b414491ba611db6b82199d21","last_reissued_at":"2026-08-03T00:12:09.473564Z","signature_status":"signed_v1","first_computed_at":"2026-08-03T00:12:09.473564Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2607.28679","source_version":1,"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-08-03T00:12:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NRT9fI2L+z5JFuymJ9zuwyB7uHyLfcmnlqi7kTKUoT9MZTXzqVulm8G+uUZv4Xj/QaWUrf/Vi0r3OaQvmVHLCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-17T21:45:34.994167Z"},"content_sha256":"a8a9ed4b28af1398da7e3f8d3b5c05616b27ad18a6b6245a587656b3faafdbca","schema_version":"1.0","event_id":"sha256:a8a9ed4b28af1398da7e3f8d3b5c05616b27ad18a6b6245a587656b3faafdbca"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:FUE4CIS33TWT64YU57L5NKTJNV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.MA"],"primary_cat":"cs.AI","authors_text":"Alberto Speranzon, Anand Balakrishnan, Jyotirmoy V. Deshmukh, Lars Lindemann, Sheryl Paul, Vidisha Kudalkar","submitted_at":"2026-07-29T16:12:58Z","abstract_excerpt":"Multi-agent planning problems arise in a variety of engineering applications, such as multi-robot wildfire fighting and unmanned aerial inspection in factories. A particular challenge is the existence of spatio-temporal (i.e., when and/or where an agent should do what) and topological constraints (i.e., how agents should interact), as typically formalized via the notion of graphs. Over the last years, various frameworks have been proposed that can capture such constraints via spatio-temporal logics. We focus here on spatio-temporal logic with graph operators (STL-GO), a recent formalism that s"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.28679","kind":"arxiv","version":1},"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/2607.28679/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-08-03T00:12:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WfhB8g86c6Loq23D1hsNyhWlC4FTSYqHaZHkVAl3Vq/CHA3enH9rNtRbxU7JCrwKoXwY5QSkYXbg4CeyKb57Cw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-17T21:45:34.995175Z"},"content_sha256":"8f2a5fb4502648c98e75bfbd73fa0e6ae54f2e54727ddf44fa54fe85d88befaa","schema_version":"1.0","event_id":"sha256:8f2a5fb4502648c98e75bfbd73fa0e6ae54f2e54727ddf44fa54fe85d88befaa"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FUE4CIS33TWT64YU57L5NKTJNV/bundle.json","state_url":"https://pith.science/pith/FUE4CIS33TWT64YU57L5NKTJNV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FUE4CIS33TWT64YU57L5NKTJNV/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-08-17T21:45:35Z","links":{"resolver":"https://pith.science/pith/FUE4CIS33TWT64YU57L5NKTJNV","bundle":"https://pith.science/pith/FUE4CIS33TWT64YU57L5NKTJNV/bundle.json","state":"https://pith.science/pith/FUE4CIS33TWT64YU57L5NKTJNV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FUE4CIS33TWT64YU57L5NKTJNV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:FUE4CIS33TWT64YU57L5NKTJNV","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":"7666a34187d2e16992921425f1d32f3ad30a0a6a414c528bf35445f625424e1c","cross_cats_sorted":["cs.MA"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-07-29T16:12:58Z","title_canon_sha256":"e442f60a31aa13105ff262cf8b5c875b5fa865d940eb0e1d3c63abb23636e86b"},"schema_version":"1.0","source":{"id":"2607.28679","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.28679","created_at":"2026-08-03T00:12:09Z"},{"alias_kind":"arxiv_version","alias_value":"2607.28679v1","created_at":"2026-08-03T00:12:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.28679","created_at":"2026-08-03T00:12:09Z"},{"alias_kind":"pith_short_12","alias_value":"FUE4CIS33TWT","created_at":"2026-08-03T00:12:09Z"},{"alias_kind":"pith_short_16","alias_value":"FUE4CIS33TWT64YU","created_at":"2026-08-03T00:12:09Z"},{"alias_kind":"pith_short_8","alias_value":"FUE4CIS3","created_at":"2026-08-03T00:12:09Z"}],"graph_snapshots":[{"event_id":"sha256:8f2a5fb4502648c98e75bfbd73fa0e6ae54f2e54727ddf44fa54fe85d88befaa","target":"graph","created_at":"2026-08-03T00:12:09Z","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/2607.28679/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Multi-agent planning problems arise in a variety of engineering applications, such as multi-robot wildfire fighting and unmanned aerial inspection in factories. A particular challenge is the existence of spatio-temporal (i.e., when and/or where an agent should do what) and topological constraints (i.e., how agents should interact), as typically formalized via the notion of graphs. Over the last years, various frameworks have been proposed that can capture such constraints via spatio-temporal logics. We focus here on spatio-temporal logic with graph operators (STL-GO), a recent formalism that s","authors_text":"Alberto Speranzon, Anand Balakrishnan, Jyotirmoy V. Deshmukh, Lars Lindemann, Sheryl Paul, Vidisha Kudalkar","cross_cats":["cs.MA"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-07-29T16:12:58Z","title":"Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.28679","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:a8a9ed4b28af1398da7e3f8d3b5c05616b27ad18a6b6245a587656b3faafdbca","target":"record","created_at":"2026-08-03T00:12:09Z","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":"7666a34187d2e16992921425f1d32f3ad30a0a6a414c528bf35445f625424e1c","cross_cats_sorted":["cs.MA"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-07-29T16:12:58Z","title_canon_sha256":"e442f60a31aa13105ff262cf8b5c875b5fa865d940eb0e1d3c63abb23636e86b"},"schema_version":"1.0","source":{"id":"2607.28679","kind":"arxiv","version":1}},"canonical_sha256":"2d09c1225bdced3f7314efd7d6aa696d65995f90b414491ba611db6b82199d21","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2d09c1225bdced3f7314efd7d6aa696d65995f90b414491ba611db6b82199d21","first_computed_at":"2026-08-03T00:12:09.473564Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-08-03T00:12:09.473564Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"pFa70Et/MZN79WDACK1ItzF2YUEWYdIPpn39KSYengoHXsPZxLPDe/u45yqcOJ9qIjQgRAMD6ev6OXrZkT56Bg==","signature_status":"signed_v1","signed_at":"2026-08-03T00:12:09.475778Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.28679","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a8a9ed4b28af1398da7e3f8d3b5c05616b27ad18a6b6245a587656b3faafdbca","sha256:8f2a5fb4502648c98e75bfbd73fa0e6ae54f2e54727ddf44fa54fe85d88befaa"],"state_sha256":"26c41faa96c010ae4bc12f32f9cd568bdec1db438350471fff6ae16b692467a4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8+iqHp6+WCDQX31gOBS+EBEWXbNP91O4RpVaDujSPZchniqnZjtqXsYcX0zfeKcP+UC5zwJ46QEANkppk2XMDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-17T21:45:35.546186Z","bundle_sha256":"7d3c7e84114063eac1cfacc860efc57818cb5465f0e5042e637f0c80b05357ec"}}