{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:OSD4NSPIB2W57DNGDWAIKGKLCH","short_pith_number":"pith:OSD4NSPI","canonical_record":{"source":{"id":"1705.04263","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-05-11T16:29:00Z","cross_cats_sorted":["cs.DC"],"title_canon_sha256":"6e4eafe45b818e6ef612fc6690081fd161f001bdfc545a1380b5c13a1c0f98aa","abstract_canon_sha256":"4fcfd732516b68c1922fe067f92f1b250b2a0e18816caba8729483168df55076"},"schema_version":"1.0"},"canonical_sha256":"7487c6c9e80eaddf8da61d8085194b11eb1fd9285d3a6cf8218b590b71d22a25","source":{"kind":"arxiv","id":"1705.04263","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.04263","created_at":"2026-05-18T00:44:33Z"},{"alias_kind":"arxiv_version","alias_value":"1705.04263v1","created_at":"2026-05-18T00:44:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.04263","created_at":"2026-05-18T00:44:33Z"},{"alias_kind":"pith_short_12","alias_value":"OSD4NSPIB2W5","created_at":"2026-05-18T12:31:34Z"},{"alias_kind":"pith_short_16","alias_value":"OSD4NSPIB2W57DNG","created_at":"2026-05-18T12:31:34Z"},{"alias_kind":"pith_short_8","alias_value":"OSD4NSPI","created_at":"2026-05-18T12:31:34Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:OSD4NSPIB2W57DNGDWAIKGKLCH","target":"record","payload":{"canonical_record":{"source":{"id":"1705.04263","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-05-11T16:29:00Z","cross_cats_sorted":["cs.DC"],"title_canon_sha256":"6e4eafe45b818e6ef612fc6690081fd161f001bdfc545a1380b5c13a1c0f98aa","abstract_canon_sha256":"4fcfd732516b68c1922fe067f92f1b250b2a0e18816caba8729483168df55076"},"schema_version":"1.0"},"canonical_sha256":"7487c6c9e80eaddf8da61d8085194b11eb1fd9285d3a6cf8218b590b71d22a25","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:44:33.216809Z","signature_b64":"oXoyCHT1pAkCV58xqVxBz+msWdqVhQS1ZPUAIORnwffopLkeUvvPNNSshNGeFNubG2j9c5YapDq+1yO5KK2pCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7487c6c9e80eaddf8da61d8085194b11eb1fd9285d3a6cf8218b590b71d22a25","last_reissued_at":"2026-05-18T00:44:33.216365Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:44:33.216365Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1705.04263","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-05-18T00:44:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+Ey2pdnDin0oFnySNH9UwFIpIqAbOueudmO7AzfL0RGsXMCZWbJAgUB8U3KGMWudQh/pEAW0mffaDTweGk4HBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T23:32:27.218082Z"},"content_sha256":"8bb1d5ee5c30f953f0641e9985ff04610b797d37841eb4777d71365725008a77","schema_version":"1.0","event_id":"sha256:8bb1d5ee5c30f953f0641e9985ff04610b797d37841eb4777d71365725008a77"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:OSD4NSPIB2W57DNGDWAIKGKLCH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Improving Resilience of Autonomous Moving Platforms by Real Time Analysis of Their Cooperation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DC"],"primary_cat":"cs.SE","authors_text":"Bogdan Czejdo, Miko{\\l}aj Baszun, Sambit Bhattacharya, Wiktor B. Daszczuk","submitted_at":"2017-05-11T16:29:00Z","abstract_excerpt":"Environmental changes, failures, collisions or even terrorist attacks can cause serious malfunctions of the delivery systems. We have presented a novel approach improving resilience of Autonomous Moving Platforms AMPs. The approach is based on multi-level state diagrams describing environmental trigger specifications, movement actions and synchronization primitives. The upper level diagrams allowed us to model advanced interactions between autonomous AMPs and detect irregularities such as deadlocks live-locks etc. The techniques were presented to verify and analyze combined AMPs' behaviors usi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.04263","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":""},"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:44:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+uT+iEsB0bcVqVrDL1/wnx0TOlyFhLXq+ICfr2msBr6o1THHIJE5AJkkwMLKJLgZ++GVuMuGfOYtb+co86OYAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T23:32:27.218450Z"},"content_sha256":"45f25e83c93f0732b5759ce0dedd2b72632a1cdc38e41753d553c6067a69f807","schema_version":"1.0","event_id":"sha256:45f25e83c93f0732b5759ce0dedd2b72632a1cdc38e41753d553c6067a69f807"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OSD4NSPIB2W57DNGDWAIKGKLCH/bundle.json","state_url":"https://pith.science/pith/OSD4NSPIB2W57DNGDWAIKGKLCH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OSD4NSPIB2W57DNGDWAIKGKLCH/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-01T23:32:27Z","links":{"resolver":"https://pith.science/pith/OSD4NSPIB2W57DNGDWAIKGKLCH","bundle":"https://pith.science/pith/OSD4NSPIB2W57DNGDWAIKGKLCH/bundle.json","state":"https://pith.science/pith/OSD4NSPIB2W57DNGDWAIKGKLCH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OSD4NSPIB2W57DNGDWAIKGKLCH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:OSD4NSPIB2W57DNGDWAIKGKLCH","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":"4fcfd732516b68c1922fe067f92f1b250b2a0e18816caba8729483168df55076","cross_cats_sorted":["cs.DC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-05-11T16:29:00Z","title_canon_sha256":"6e4eafe45b818e6ef612fc6690081fd161f001bdfc545a1380b5c13a1c0f98aa"},"schema_version":"1.0","source":{"id":"1705.04263","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.04263","created_at":"2026-05-18T00:44:33Z"},{"alias_kind":"arxiv_version","alias_value":"1705.04263v1","created_at":"2026-05-18T00:44:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.04263","created_at":"2026-05-18T00:44:33Z"},{"alias_kind":"pith_short_12","alias_value":"OSD4NSPIB2W5","created_at":"2026-05-18T12:31:34Z"},{"alias_kind":"pith_short_16","alias_value":"OSD4NSPIB2W57DNG","created_at":"2026-05-18T12:31:34Z"},{"alias_kind":"pith_short_8","alias_value":"OSD4NSPI","created_at":"2026-05-18T12:31:34Z"}],"graph_snapshots":[{"event_id":"sha256:45f25e83c93f0732b5759ce0dedd2b72632a1cdc38e41753d553c6067a69f807","target":"graph","created_at":"2026-05-18T00:44:33Z","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":"Environmental changes, failures, collisions or even terrorist attacks can cause serious malfunctions of the delivery systems. We have presented a novel approach improving resilience of Autonomous Moving Platforms AMPs. The approach is based on multi-level state diagrams describing environmental trigger specifications, movement actions and synchronization primitives. The upper level diagrams allowed us to model advanced interactions between autonomous AMPs and detect irregularities such as deadlocks live-locks etc. The techniques were presented to verify and analyze combined AMPs' behaviors usi","authors_text":"Bogdan Czejdo, Miko{\\l}aj Baszun, Sambit Bhattacharya, Wiktor B. Daszczuk","cross_cats":["cs.DC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-05-11T16:29:00Z","title":"Improving Resilience of Autonomous Moving Platforms by Real Time Analysis of Their Cooperation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.04263","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:8bb1d5ee5c30f953f0641e9985ff04610b797d37841eb4777d71365725008a77","target":"record","created_at":"2026-05-18T00:44:33Z","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":"4fcfd732516b68c1922fe067f92f1b250b2a0e18816caba8729483168df55076","cross_cats_sorted":["cs.DC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-05-11T16:29:00Z","title_canon_sha256":"6e4eafe45b818e6ef612fc6690081fd161f001bdfc545a1380b5c13a1c0f98aa"},"schema_version":"1.0","source":{"id":"1705.04263","kind":"arxiv","version":1}},"canonical_sha256":"7487c6c9e80eaddf8da61d8085194b11eb1fd9285d3a6cf8218b590b71d22a25","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7487c6c9e80eaddf8da61d8085194b11eb1fd9285d3a6cf8218b590b71d22a25","first_computed_at":"2026-05-18T00:44:33.216365Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:44:33.216365Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"oXoyCHT1pAkCV58xqVxBz+msWdqVhQS1ZPUAIORnwffopLkeUvvPNNSshNGeFNubG2j9c5YapDq+1yO5KK2pCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:44:33.216809Z","signed_message":"canonical_sha256_bytes"},"source_id":"1705.04263","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8bb1d5ee5c30f953f0641e9985ff04610b797d37841eb4777d71365725008a77","sha256:45f25e83c93f0732b5759ce0dedd2b72632a1cdc38e41753d553c6067a69f807"],"state_sha256":"38871ca829ab3c8ef2c027d03659bade55c50e479a3c3b35517f986ce1589654"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uHz6NedJPURZqkZBbi/G34MNszgtVCEhAoD+2d1hdwLNV09pp4T7ifA+Gx8XYpdmon+lQWxxUkWnrA17IvH5BQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T23:32:27.220422Z","bundle_sha256":"82c49fcd786a5abfe3c5c4887bea380ba57216baeb7380d3b4021a77490aadf8"}}