{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:GVSVSLJLM6E3N3MKSNORC7AVIL","short_pith_number":"pith:GVSVSLJL","canonical_record":{"source":{"id":"1706.00765","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2017-06-02T17:26:22Z","cross_cats_sorted":["cs.MA"],"title_canon_sha256":"edc0be6f03cbb31f2ee444485c18f3cc728e295229f3868f2512deefa1390525","abstract_canon_sha256":"72836171b15f7fab7e5bf092cc7a578b5748ee09c96d84dd44ad9887b2d9e2f5"},"schema_version":"1.0"},"canonical_sha256":"3565592d2b6789b6ed8a935d117c1542d346ac0c6827f7214268ac00d851d877","source":{"kind":"arxiv","id":"1706.00765","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1706.00765","created_at":"2026-05-18T00:12:35Z"},{"alias_kind":"arxiv_version","alias_value":"1706.00765v3","created_at":"2026-05-18T00:12:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1706.00765","created_at":"2026-05-18T00:12:35Z"},{"alias_kind":"pith_short_12","alias_value":"GVSVSLJLM6E3","created_at":"2026-05-18T12:31:18Z"},{"alias_kind":"pith_short_16","alias_value":"GVSVSLJLM6E3N3MK","created_at":"2026-05-18T12:31:18Z"},{"alias_kind":"pith_short_8","alias_value":"GVSVSLJL","created_at":"2026-05-18T12:31:18Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:GVSVSLJLM6E3N3MKSNORC7AVIL","target":"record","payload":{"canonical_record":{"source":{"id":"1706.00765","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2017-06-02T17:26:22Z","cross_cats_sorted":["cs.MA"],"title_canon_sha256":"edc0be6f03cbb31f2ee444485c18f3cc728e295229f3868f2512deefa1390525","abstract_canon_sha256":"72836171b15f7fab7e5bf092cc7a578b5748ee09c96d84dd44ad9887b2d9e2f5"},"schema_version":"1.0"},"canonical_sha256":"3565592d2b6789b6ed8a935d117c1542d346ac0c6827f7214268ac00d851d877","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:12:35.340762Z","signature_b64":"RgYYvQEtqv4enlOiVAAxDku169FU/xvN15QtYVKhLQ3xfSb9pvGkkE1wK/LgGhiqtzA+t0WxpXuKBVY8m02mCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3565592d2b6789b6ed8a935d117c1542d346ac0c6827f7214268ac00d851d877","last_reissued_at":"2026-05-18T00:12:35.340110Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:12:35.340110Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1706.00765","source_version":3,"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-05-18T00:12:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bjL+FM6USUkkw0eX3iQxO0fcIe4uH60Y6RM+6Kyj7ODdWzqKydZsTQdMQHW5GhFH/S3JdWsk29ZMDgbsxutKCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T18:27:29.209113Z"},"content_sha256":"12bfd0a93663dc61628fee097e093e654c34be57bec6a4758e3445b2b714fa04","schema_version":"1.0","event_id":"sha256:12bfd0a93663dc61628fee097e093e654c34be57bec6a4758e3445b2b714fa04"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:GVSVSLJLM6E3N3MKSNORC7AVIL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Temporal Logic Task Planning and Intermittent Connectivity Control of Mobile Robot Networks","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.MA"],"primary_cat":"cs.RO","authors_text":"Meng Guo, Michael M. Zavlanos, Yiannis Kantaros","submitted_at":"2017-06-02T17:26:22Z","abstract_excerpt":"In this paper, we develop a distributed intermittent communication and task planning framework for mobile robot teams. The goal of the robots is to accomplish complex tasks, captured by local Linear Temporal Logic formulas, and share the collected information with all other robots and possibly also with a user. Specifically, we consider situations where the robot communication capabilities are not sufficient to form reliable and connected networks while the robots move to accomplish their tasks. In this case, intermittent communication protocols are necessary that allow the robots to temporari"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1706.00765","kind":"arxiv","version":3},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"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-05-18T00:12:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JmM9ydVJBDOScoEKIdWdbERDI6R6K7jDw3Dy9BbNinhSqP2QmBW4KJm8rQIq0ZkB8OcgPTKe2BMerx2LuFnsCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T18:27:29.209881Z"},"content_sha256":"7697daf0f59fff0140ceaff16adb0d9dfb6b4931fbf8b4565af978cf94c18647","schema_version":"1.0","event_id":"sha256:7697daf0f59fff0140ceaff16adb0d9dfb6b4931fbf8b4565af978cf94c18647"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GVSVSLJLM6E3N3MKSNORC7AVIL/bundle.json","state_url":"https://pith.science/pith/GVSVSLJLM6E3N3MKSNORC7AVIL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GVSVSLJLM6E3N3MKSNORC7AVIL/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-09T18:27:29Z","links":{"resolver":"https://pith.science/pith/GVSVSLJLM6E3N3MKSNORC7AVIL","bundle":"https://pith.science/pith/GVSVSLJLM6E3N3MKSNORC7AVIL/bundle.json","state":"https://pith.science/pith/GVSVSLJLM6E3N3MKSNORC7AVIL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GVSVSLJLM6E3N3MKSNORC7AVIL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:GVSVSLJLM6E3N3MKSNORC7AVIL","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":"72836171b15f7fab7e5bf092cc7a578b5748ee09c96d84dd44ad9887b2d9e2f5","cross_cats_sorted":["cs.MA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2017-06-02T17:26:22Z","title_canon_sha256":"edc0be6f03cbb31f2ee444485c18f3cc728e295229f3868f2512deefa1390525"},"schema_version":"1.0","source":{"id":"1706.00765","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1706.00765","created_at":"2026-05-18T00:12:35Z"},{"alias_kind":"arxiv_version","alias_value":"1706.00765v3","created_at":"2026-05-18T00:12:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1706.00765","created_at":"2026-05-18T00:12:35Z"},{"alias_kind":"pith_short_12","alias_value":"GVSVSLJLM6E3","created_at":"2026-05-18T12:31:18Z"},{"alias_kind":"pith_short_16","alias_value":"GVSVSLJLM6E3N3MK","created_at":"2026-05-18T12:31:18Z"},{"alias_kind":"pith_short_8","alias_value":"GVSVSLJL","created_at":"2026-05-18T12:31:18Z"}],"graph_snapshots":[{"event_id":"sha256:7697daf0f59fff0140ceaff16adb0d9dfb6b4931fbf8b4565af978cf94c18647","target":"graph","created_at":"2026-05-18T00:12:35Z","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":"In this paper, we develop a distributed intermittent communication and task planning framework for mobile robot teams. The goal of the robots is to accomplish complex tasks, captured by local Linear Temporal Logic formulas, and share the collected information with all other robots and possibly also with a user. Specifically, we consider situations where the robot communication capabilities are not sufficient to form reliable and connected networks while the robots move to accomplish their tasks. In this case, intermittent communication protocols are necessary that allow the robots to temporari","authors_text":"Meng Guo, Michael M. Zavlanos, Yiannis Kantaros","cross_cats":["cs.MA"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2017-06-02T17:26:22Z","title":"Temporal Logic Task Planning and Intermittent Connectivity Control of Mobile Robot Networks"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1706.00765","kind":"arxiv","version":3},"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:12bfd0a93663dc61628fee097e093e654c34be57bec6a4758e3445b2b714fa04","target":"record","created_at":"2026-05-18T00:12:35Z","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":"72836171b15f7fab7e5bf092cc7a578b5748ee09c96d84dd44ad9887b2d9e2f5","cross_cats_sorted":["cs.MA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2017-06-02T17:26:22Z","title_canon_sha256":"edc0be6f03cbb31f2ee444485c18f3cc728e295229f3868f2512deefa1390525"},"schema_version":"1.0","source":{"id":"1706.00765","kind":"arxiv","version":3}},"canonical_sha256":"3565592d2b6789b6ed8a935d117c1542d346ac0c6827f7214268ac00d851d877","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3565592d2b6789b6ed8a935d117c1542d346ac0c6827f7214268ac00d851d877","first_computed_at":"2026-05-18T00:12:35.340110Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:12:35.340110Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"RgYYvQEtqv4enlOiVAAxDku169FU/xvN15QtYVKhLQ3xfSb9pvGkkE1wK/LgGhiqtzA+t0WxpXuKBVY8m02mCA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:12:35.340762Z","signed_message":"canonical_sha256_bytes"},"source_id":"1706.00765","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:12bfd0a93663dc61628fee097e093e654c34be57bec6a4758e3445b2b714fa04","sha256:7697daf0f59fff0140ceaff16adb0d9dfb6b4931fbf8b4565af978cf94c18647"],"state_sha256":"71093401d3879f9238ee4fe1bd0ab1907d6526c2267b01baf8f57579c21297dc"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"a7PtQoggjE2lOAqcPSto9BvptNxsdW67x92o6m+qP0g2LjQZU0gXIHEP5unDlrod1y7s+vIw+eACfgZ3JKkPBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-09T18:27:29.214107Z","bundle_sha256":"c198a7d3e5dc20bec548a33bea54f98ac67cc014936b91a1216c86f29628dfb3"}}