{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:HQVV4JDI4LUBYYYJD2IBZ6CJS2","short_pith_number":"pith:HQVV4JDI","canonical_record":{"source":{"id":"2508.19429","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2025-08-26T20:52:11Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"8383c1772502074557cc288f2bbc4064cf9d30e7d75f367a8dc3c0379af16785","abstract_canon_sha256":"e9b6c3e499782ea85d1ffbc421a4ea7215c8cbb2f5e92d080af7f569b7b21bde"},"schema_version":"1.0"},"canonical_sha256":"3c2b5e2468e2e81c63091e901cf84996ae88d74db821c679522e2316b4ac9c79","source":{"kind":"arxiv","id":"2508.19429","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.19429","created_at":"2026-07-05T12:00:11Z"},{"alias_kind":"arxiv_version","alias_value":"2508.19429v1","created_at":"2026-07-05T12:00:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.19429","created_at":"2026-07-05T12:00:11Z"},{"alias_kind":"pith_short_12","alias_value":"HQVV4JDI4LUB","created_at":"2026-07-05T12:00:11Z"},{"alias_kind":"pith_short_16","alias_value":"HQVV4JDI4LUBYYYJ","created_at":"2026-07-05T12:00:11Z"},{"alias_kind":"pith_short_8","alias_value":"HQVV4JDI","created_at":"2026-07-05T12:00:11Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:HQVV4JDI4LUBYYYJD2IBZ6CJS2","target":"record","payload":{"canonical_record":{"source":{"id":"2508.19429","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2025-08-26T20:52:11Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"8383c1772502074557cc288f2bbc4064cf9d30e7d75f367a8dc3c0379af16785","abstract_canon_sha256":"e9b6c3e499782ea85d1ffbc421a4ea7215c8cbb2f5e92d080af7f569b7b21bde"},"schema_version":"1.0"},"canonical_sha256":"3c2b5e2468e2e81c63091e901cf84996ae88d74db821c679522e2316b4ac9c79","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T12:00:11.354166Z","signature_b64":"EpqTbb9Qk67+pToN4UDwIpt8eswPduA9Kcw5+vHmLo51tt+MFnTAOGrFOdNmMqTPXjotihlK2QpX12XbLdTMDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3c2b5e2468e2e81c63091e901cf84996ae88d74db821c679522e2316b4ac9c79","last_reissued_at":"2026-07-05T12:00:11.353759Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T12:00:11.353759Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2508.19429","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-07-05T12:00:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zCv24qNExP1F5bzgqnQBv/i0FZVVaVbzKbZL6Zntyiz2vJQ8VXsEiDhbxvGZBY6gquCr4Ypa7+A30f3glZzjAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T22:00:57.433212Z"},"content_sha256":"b144be9580c3b74ed1b4cbbd91338d3abdb9c54926796d96e925bab946e0d1d6","schema_version":"1.0","event_id":"sha256:b144be9580c3b74ed1b4cbbd91338d3abdb9c54926796d96e925bab946e0d1d6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:HQVV4JDI4LUBYYYJD2IBZ6CJS2","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"An Iterative Approach for Heterogeneous Multi-Agent Route Planning with Resource Transportation Uncertainty and Temporal Logic Goals","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"cs.RO","authors_text":"Cristian-Ioan Vasile, Gustavo A. Cardona, Kaier Liang","submitted_at":"2025-08-26T20:52:11Z","abstract_excerpt":"This paper presents an iterative approach for heterogeneous multi-agent route planning in environments with unknown resource distributions. We focus on a team of robots with diverse capabilities tasked with executing missions specified using Capability Temporal Logic (CaTL), a formal framework built on Signal Temporal Logic to handle spatial, temporal, capability, and resource constraints. The key challenge arises from the uncertainty in the initial distribution and quantity of resources in the environment. To address this, we introduce an iterative algorithm that dynamically balances explorat"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.19429","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/2508.19429/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-07-05T12:00:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yKQZlvHoGGB8MdL7xCWrRQXR/U3/zQ1xnwDPMaM93QPelBMoDmZdnc+/VQIpUoqze+fl5gKPsOsEJAqo4zXqBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T22:00:57.435271Z"},"content_sha256":"c4e3d8df626c1cd554ba8ca50a020aea664e2102e6070a8ec7a2f2838e03ede8","schema_version":"1.0","event_id":"sha256:c4e3d8df626c1cd554ba8ca50a020aea664e2102e6070a8ec7a2f2838e03ede8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HQVV4JDI4LUBYYYJD2IBZ6CJS2/bundle.json","state_url":"https://pith.science/pith/HQVV4JDI4LUBYYYJD2IBZ6CJS2/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HQVV4JDI4LUBYYYJD2IBZ6CJS2/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-07T22:00:57Z","links":{"resolver":"https://pith.science/pith/HQVV4JDI4LUBYYYJD2IBZ6CJS2","bundle":"https://pith.science/pith/HQVV4JDI4LUBYYYJD2IBZ6CJS2/bundle.json","state":"https://pith.science/pith/HQVV4JDI4LUBYYYJD2IBZ6CJS2/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HQVV4JDI4LUBYYYJD2IBZ6CJS2/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:HQVV4JDI4LUBYYYJD2IBZ6CJS2","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":"e9b6c3e499782ea85d1ffbc421a4ea7215c8cbb2f5e92d080af7f569b7b21bde","cross_cats_sorted":["cs.FL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2025-08-26T20:52:11Z","title_canon_sha256":"8383c1772502074557cc288f2bbc4064cf9d30e7d75f367a8dc3c0379af16785"},"schema_version":"1.0","source":{"id":"2508.19429","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.19429","created_at":"2026-07-05T12:00:11Z"},{"alias_kind":"arxiv_version","alias_value":"2508.19429v1","created_at":"2026-07-05T12:00:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.19429","created_at":"2026-07-05T12:00:11Z"},{"alias_kind":"pith_short_12","alias_value":"HQVV4JDI4LUB","created_at":"2026-07-05T12:00:11Z"},{"alias_kind":"pith_short_16","alias_value":"HQVV4JDI4LUBYYYJ","created_at":"2026-07-05T12:00:11Z"},{"alias_kind":"pith_short_8","alias_value":"HQVV4JDI","created_at":"2026-07-05T12:00:11Z"}],"graph_snapshots":[{"event_id":"sha256:c4e3d8df626c1cd554ba8ca50a020aea664e2102e6070a8ec7a2f2838e03ede8","target":"graph","created_at":"2026-07-05T12:00:11Z","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/2508.19429/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper presents an iterative approach for heterogeneous multi-agent route planning in environments with unknown resource distributions. We focus on a team of robots with diverse capabilities tasked with executing missions specified using Capability Temporal Logic (CaTL), a formal framework built on Signal Temporal Logic to handle spatial, temporal, capability, and resource constraints. The key challenge arises from the uncertainty in the initial distribution and quantity of resources in the environment. To address this, we introduce an iterative algorithm that dynamically balances explorat","authors_text":"Cristian-Ioan Vasile, Gustavo A. Cardona, Kaier Liang","cross_cats":["cs.FL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2025-08-26T20:52:11Z","title":"An Iterative Approach for Heterogeneous Multi-Agent Route Planning with Resource Transportation Uncertainty and Temporal Logic Goals"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.19429","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:b144be9580c3b74ed1b4cbbd91338d3abdb9c54926796d96e925bab946e0d1d6","target":"record","created_at":"2026-07-05T12:00:11Z","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":"e9b6c3e499782ea85d1ffbc421a4ea7215c8cbb2f5e92d080af7f569b7b21bde","cross_cats_sorted":["cs.FL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2025-08-26T20:52:11Z","title_canon_sha256":"8383c1772502074557cc288f2bbc4064cf9d30e7d75f367a8dc3c0379af16785"},"schema_version":"1.0","source":{"id":"2508.19429","kind":"arxiv","version":1}},"canonical_sha256":"3c2b5e2468e2e81c63091e901cf84996ae88d74db821c679522e2316b4ac9c79","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3c2b5e2468e2e81c63091e901cf84996ae88d74db821c679522e2316b4ac9c79","first_computed_at":"2026-07-05T12:00:11.353759Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T12:00:11.353759Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"EpqTbb9Qk67+pToN4UDwIpt8eswPduA9Kcw5+vHmLo51tt+MFnTAOGrFOdNmMqTPXjotihlK2QpX12XbLdTMDA==","signature_status":"signed_v1","signed_at":"2026-07-05T12:00:11.354166Z","signed_message":"canonical_sha256_bytes"},"source_id":"2508.19429","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b144be9580c3b74ed1b4cbbd91338d3abdb9c54926796d96e925bab946e0d1d6","sha256:c4e3d8df626c1cd554ba8ca50a020aea664e2102e6070a8ec7a2f2838e03ede8"],"state_sha256":"c665e565762038ee5fdf7d15368c114058b77fb074c9f2dd262a0723d07c2e8b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Vgyf2g/Ximr//cK2Q9QUBLWJ3h9r4wa3AeL3FY4HekhBY/vEjb6Fz3KgmAk/8QVGsbPqVdS3MHCHpHfZbWnmAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-07T22:00:57.443004Z","bundle_sha256":"e93ddde14f69080322b82dfa3542a119cbbd4ea9b48f572b628daba9619af580"}}