{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:E6L7QVVHNXUN5LGC4EGA6PONFP","short_pith_number":"pith:E6L7QVVH","canonical_record":{"source":{"id":"1605.00604","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2016-05-02T18:26:58Z","cross_cats_sorted":["cs.LO","cs.RO"],"title_canon_sha256":"ba3fa6b877198bc86fbb191f71d626ca08f2a9868a408b412e0c99f799d6c228","abstract_canon_sha256":"28aa3670e61b288d5fe0c078bb66cfaa25c157d6bdda00af32c2674219a3982a"},"schema_version":"1.0"},"canonical_sha256":"2797f856a76de8deacc2e10c0f3dcd2beeaf87bf76deeb12d6b245e90d35cea9","source":{"kind":"arxiv","id":"1605.00604","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1605.00604","created_at":"2026-05-17T23:42:59Z"},{"alias_kind":"arxiv_version","alias_value":"1605.00604v2","created_at":"2026-05-17T23:42:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1605.00604","created_at":"2026-05-17T23:42:59Z"},{"alias_kind":"pith_short_12","alias_value":"E6L7QVVHNXUN","created_at":"2026-05-18T12:30:12Z"},{"alias_kind":"pith_short_16","alias_value":"E6L7QVVHNXUN5LGC","created_at":"2026-05-18T12:30:12Z"},{"alias_kind":"pith_short_8","alias_value":"E6L7QVVH","created_at":"2026-05-18T12:30:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:E6L7QVVHNXUN5LGC4EGA6PONFP","target":"record","payload":{"canonical_record":{"source":{"id":"1605.00604","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2016-05-02T18:26:58Z","cross_cats_sorted":["cs.LO","cs.RO"],"title_canon_sha256":"ba3fa6b877198bc86fbb191f71d626ca08f2a9868a408b412e0c99f799d6c228","abstract_canon_sha256":"28aa3670e61b288d5fe0c078bb66cfaa25c157d6bdda00af32c2674219a3982a"},"schema_version":"1.0"},"canonical_sha256":"2797f856a76de8deacc2e10c0f3dcd2beeaf87bf76deeb12d6b245e90d35cea9","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:42:59.327079Z","signature_b64":"pBwk/0KJu41UyuUnbDFj9BTcSjahhVjKUp5yCiP3kra6k3TTxZUQIjv1pODK3jhWidLKMTrOgI5YlVJDsiR1AA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2797f856a76de8deacc2e10c0f3dcd2beeaf87bf76deeb12d6b245e90d35cea9","last_reissued_at":"2026-05-17T23:42:59.326382Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:42:59.326382Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1605.00604","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-05-17T23:42:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"q9OBLATYYGcC7vVoGnvy4d/NB+33DpHsOU0riOgflZ38ovgBx4trseUM0ztz+1RHdBl/4LgVyZnhdRWxCCpsBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T11:36:01.429959Z"},"content_sha256":"0021c4582f8e27ad4e96d697914eb650394b3d781bd3fd4fba1a5ce85b4dc89a","schema_version":"1.0","event_id":"sha256:0021c4582f8e27ad4e96d697914eb650394b3d781bd3fd4fba1a5ce85b4dc89a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:E6L7QVVHNXUN5LGC4EGA6PONFP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Formal Verification of Obstacle Avoidance and Navigation of Ground Robots","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO","cs.RO"],"primary_cat":"cs.SY","authors_text":"Andr\\'e Platzer, David Vogelbacher, Khalil Ghorbal, Stefan Mitsch","submitted_at":"2016-05-02T18:26:58Z","abstract_excerpt":"The safety of mobile robots in dynamic environments is predicated on making sure that they do not collide with obstacles. In support of such safety arguments, we analyze and formally verify a series of increasingly powerful safety properties of controllers for avoiding both stationary and moving obstacles: (i) static safety, which ensures that no collisions can happen with stationary obstacles, (ii) passive safety, which ensures that no collisions can happen with stationary or moving obstacles while the robot moves, (iii) the stronger passive friendly safety in which the robot further maintain"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1605.00604","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":""},"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-17T23:42:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"knSOfefW36p7ierb0wPqLkDH0ckncmr2cF4wR1tbeaUmdUUOpEJX7S6i9ELMU+HvC7AkLJ6KzWEfs5/8nGKrAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T11:36:01.430624Z"},"content_sha256":"bc6b095d20d2414b81e7323e1a62c0870afdac9d5ffacca33d5b4239fd03e1c6","schema_version":"1.0","event_id":"sha256:bc6b095d20d2414b81e7323e1a62c0870afdac9d5ffacca33d5b4239fd03e1c6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/E6L7QVVHNXUN5LGC4EGA6PONFP/bundle.json","state_url":"https://pith.science/pith/E6L7QVVHNXUN5LGC4EGA6PONFP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/E6L7QVVHNXUN5LGC4EGA6PONFP/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-05-26T11:36:01Z","links":{"resolver":"https://pith.science/pith/E6L7QVVHNXUN5LGC4EGA6PONFP","bundle":"https://pith.science/pith/E6L7QVVHNXUN5LGC4EGA6PONFP/bundle.json","state":"https://pith.science/pith/E6L7QVVHNXUN5LGC4EGA6PONFP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/E6L7QVVHNXUN5LGC4EGA6PONFP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:E6L7QVVHNXUN5LGC4EGA6PONFP","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":"28aa3670e61b288d5fe0c078bb66cfaa25c157d6bdda00af32c2674219a3982a","cross_cats_sorted":["cs.LO","cs.RO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2016-05-02T18:26:58Z","title_canon_sha256":"ba3fa6b877198bc86fbb191f71d626ca08f2a9868a408b412e0c99f799d6c228"},"schema_version":"1.0","source":{"id":"1605.00604","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1605.00604","created_at":"2026-05-17T23:42:59Z"},{"alias_kind":"arxiv_version","alias_value":"1605.00604v2","created_at":"2026-05-17T23:42:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1605.00604","created_at":"2026-05-17T23:42:59Z"},{"alias_kind":"pith_short_12","alias_value":"E6L7QVVHNXUN","created_at":"2026-05-18T12:30:12Z"},{"alias_kind":"pith_short_16","alias_value":"E6L7QVVHNXUN5LGC","created_at":"2026-05-18T12:30:12Z"},{"alias_kind":"pith_short_8","alias_value":"E6L7QVVH","created_at":"2026-05-18T12:30:12Z"}],"graph_snapshots":[{"event_id":"sha256:bc6b095d20d2414b81e7323e1a62c0870afdac9d5ffacca33d5b4239fd03e1c6","target":"graph","created_at":"2026-05-17T23:42:59Z","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":"The safety of mobile robots in dynamic environments is predicated on making sure that they do not collide with obstacles. In support of such safety arguments, we analyze and formally verify a series of increasingly powerful safety properties of controllers for avoiding both stationary and moving obstacles: (i) static safety, which ensures that no collisions can happen with stationary obstacles, (ii) passive safety, which ensures that no collisions can happen with stationary or moving obstacles while the robot moves, (iii) the stronger passive friendly safety in which the robot further maintain","authors_text":"Andr\\'e Platzer, David Vogelbacher, Khalil Ghorbal, Stefan Mitsch","cross_cats":["cs.LO","cs.RO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2016-05-02T18:26:58Z","title":"Formal Verification of Obstacle Avoidance and Navigation of Ground Robots"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1605.00604","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:0021c4582f8e27ad4e96d697914eb650394b3d781bd3fd4fba1a5ce85b4dc89a","target":"record","created_at":"2026-05-17T23:42:59Z","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":"28aa3670e61b288d5fe0c078bb66cfaa25c157d6bdda00af32c2674219a3982a","cross_cats_sorted":["cs.LO","cs.RO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2016-05-02T18:26:58Z","title_canon_sha256":"ba3fa6b877198bc86fbb191f71d626ca08f2a9868a408b412e0c99f799d6c228"},"schema_version":"1.0","source":{"id":"1605.00604","kind":"arxiv","version":2}},"canonical_sha256":"2797f856a76de8deacc2e10c0f3dcd2beeaf87bf76deeb12d6b245e90d35cea9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2797f856a76de8deacc2e10c0f3dcd2beeaf87bf76deeb12d6b245e90d35cea9","first_computed_at":"2026-05-17T23:42:59.326382Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:42:59.326382Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"pBwk/0KJu41UyuUnbDFj9BTcSjahhVjKUp5yCiP3kra6k3TTxZUQIjv1pODK3jhWidLKMTrOgI5YlVJDsiR1AA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:42:59.327079Z","signed_message":"canonical_sha256_bytes"},"source_id":"1605.00604","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0021c4582f8e27ad4e96d697914eb650394b3d781bd3fd4fba1a5ce85b4dc89a","sha256:bc6b095d20d2414b81e7323e1a62c0870afdac9d5ffacca33d5b4239fd03e1c6"],"state_sha256":"5b1c41eab15b6edb002b4a5e878ce4f5c631864819def5bcc3817b6db5a82325"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uaQwB6nbPAc/eOCkgAhx2pxChdX7dWUIrCY2g4ZOHu8mTX5GF3OiY73pOtUsXPSLKCIrAkFdh3hUumjGFm2BCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T11:36:01.433924Z","bundle_sha256":"0943071fecaec14158e23f632ee8e19cbec42f1d2d3dec7ab6cbfac4e780e178"}}