{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:CR3ZW27FB74Z34XLRUHSUWVYEP","short_pith_number":"pith:CR3ZW27F","canonical_record":{"source":{"id":"1103.4065","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","primary_cat":"cs.SY","submitted_at":"2011-03-21T16:08:46Z","cross_cats_sorted":["cs.RO","math.OC"],"title_canon_sha256":"eb7331106ef20b828154bf5d764350f34a557b55bbe2e2f542d27c6b74f73fd0","abstract_canon_sha256":"235e00d625f9bf48b8660c9b8665971ef3ebb5a497ca1dba85b3b305343ff79d"},"schema_version":"1.0"},"canonical_sha256":"14779b6be50ff99df2eb8d0f2a5ab823e6fbf2ccd5fa9ff646b9d137d95a304c","source":{"kind":"arxiv","id":"1103.4065","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1103.4065","created_at":"2026-05-18T02:22:17Z"},{"alias_kind":"arxiv_version","alias_value":"1103.4065v2","created_at":"2026-05-18T02:22:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1103.4065","created_at":"2026-05-18T02:22:17Z"},{"alias_kind":"pith_short_12","alias_value":"CR3ZW27FB74Z","created_at":"2026-05-18T12:26:26Z"},{"alias_kind":"pith_short_16","alias_value":"CR3ZW27FB74Z34XL","created_at":"2026-05-18T12:26:26Z"},{"alias_kind":"pith_short_8","alias_value":"CR3ZW27F","created_at":"2026-05-18T12:26:26Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:CR3ZW27FB74Z34XLRUHSUWVYEP","target":"record","payload":{"canonical_record":{"source":{"id":"1103.4065","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","primary_cat":"cs.SY","submitted_at":"2011-03-21T16:08:46Z","cross_cats_sorted":["cs.RO","math.OC"],"title_canon_sha256":"eb7331106ef20b828154bf5d764350f34a557b55bbe2e2f542d27c6b74f73fd0","abstract_canon_sha256":"235e00d625f9bf48b8660c9b8665971ef3ebb5a497ca1dba85b3b305343ff79d"},"schema_version":"1.0"},"canonical_sha256":"14779b6be50ff99df2eb8d0f2a5ab823e6fbf2ccd5fa9ff646b9d137d95a304c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:22:17.820055Z","signature_b64":"ShVooFs9w/XY9ECfmFzvgsS3Lqkgg+kQbyfN39Fy1flPQyEsdSnrzucjmjm33tsXjelXcYUZg3wKzQR+O39zAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"14779b6be50ff99df2eb8d0f2a5ab823e6fbf2ccd5fa9ff646b9d137d95a304c","last_reissued_at":"2026-05-18T02:22:17.819436Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:22:17.819436Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1103.4065","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-18T02:22:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8X0SiXizHuMye9iL8WIHHr7aw8uXnRM6/r/r4jTzB6W013w1uIy1g32gMjL80geZX0gqL+i/veqT4fU+Ou1gCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T17:21:53.363198Z"},"content_sha256":"9c4d9229d370975366089c2a1c0bfe0948d2a1ca4d99017d5ff9f529901bbe7d","schema_version":"1.0","event_id":"sha256:9c4d9229d370975366089c2a1c0bfe0948d2a1ca4d99017d5ff9f529901bbe7d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:CR3ZW27FB74Z34XLRUHSUWVYEP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Probabilistically Safe Vehicle Control in a Hostile Environment","license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","headline":"","cross_cats":["cs.RO","math.OC"],"primary_cat":"cs.SY","authors_text":"Alessandro Pinto, Calin Belta, Igor Cizelj, Morteza Lahijanian, Xu Chu Ding","submitted_at":"2011-03-21T16:08:46Z","abstract_excerpt":"In this paper we present an approach to control a vehicle in a hostile environment with static obstacles and moving adversaries. The vehicle is required to satisfy a mission objective expressed as a temporal logic specification over a set of properties satisfied at regions of a partitioned environment. We model the movements of adversaries in between regions of the environment as Poisson processes. Furthermore, we assume that the time it takes for the vehicle to traverse in between two facets of each region is exponentially distributed, and we obtain the rate of this exponential distribution f"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1103.4065","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-18T02:22:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WEB2QtAYdYTrw0HTgmLku22/T0Ke8AZox36gynB/HPV5OcRTitZXS7q7hllSaS4GGicnyWRm7PianGd1hzB2Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T17:21:53.363905Z"},"content_sha256":"1893183edc82920bdcac20e98c02985391c05d375225b48ef407bdc10eb291dc","schema_version":"1.0","event_id":"sha256:1893183edc82920bdcac20e98c02985391c05d375225b48ef407bdc10eb291dc"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/CR3ZW27FB74Z34XLRUHSUWVYEP/bundle.json","state_url":"https://pith.science/pith/CR3ZW27FB74Z34XLRUHSUWVYEP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/CR3ZW27FB74Z34XLRUHSUWVYEP/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-30T17:21:53Z","links":{"resolver":"https://pith.science/pith/CR3ZW27FB74Z34XLRUHSUWVYEP","bundle":"https://pith.science/pith/CR3ZW27FB74Z34XLRUHSUWVYEP/bundle.json","state":"https://pith.science/pith/CR3ZW27FB74Z34XLRUHSUWVYEP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/CR3ZW27FB74Z34XLRUHSUWVYEP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:CR3ZW27FB74Z34XLRUHSUWVYEP","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":"235e00d625f9bf48b8660c9b8665971ef3ebb5a497ca1dba85b3b305343ff79d","cross_cats_sorted":["cs.RO","math.OC"],"license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","primary_cat":"cs.SY","submitted_at":"2011-03-21T16:08:46Z","title_canon_sha256":"eb7331106ef20b828154bf5d764350f34a557b55bbe2e2f542d27c6b74f73fd0"},"schema_version":"1.0","source":{"id":"1103.4065","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1103.4065","created_at":"2026-05-18T02:22:17Z"},{"alias_kind":"arxiv_version","alias_value":"1103.4065v2","created_at":"2026-05-18T02:22:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1103.4065","created_at":"2026-05-18T02:22:17Z"},{"alias_kind":"pith_short_12","alias_value":"CR3ZW27FB74Z","created_at":"2026-05-18T12:26:26Z"},{"alias_kind":"pith_short_16","alias_value":"CR3ZW27FB74Z34XL","created_at":"2026-05-18T12:26:26Z"},{"alias_kind":"pith_short_8","alias_value":"CR3ZW27F","created_at":"2026-05-18T12:26:26Z"}],"graph_snapshots":[{"event_id":"sha256:1893183edc82920bdcac20e98c02985391c05d375225b48ef407bdc10eb291dc","target":"graph","created_at":"2026-05-18T02:22:17Z","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 present an approach to control a vehicle in a hostile environment with static obstacles and moving adversaries. The vehicle is required to satisfy a mission objective expressed as a temporal logic specification over a set of properties satisfied at regions of a partitioned environment. We model the movements of adversaries in between regions of the environment as Poisson processes. Furthermore, we assume that the time it takes for the vehicle to traverse in between two facets of each region is exponentially distributed, and we obtain the rate of this exponential distribution f","authors_text":"Alessandro Pinto, Calin Belta, Igor Cizelj, Morteza Lahijanian, Xu Chu Ding","cross_cats":["cs.RO","math.OC"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","primary_cat":"cs.SY","submitted_at":"2011-03-21T16:08:46Z","title":"Probabilistically Safe Vehicle Control in a Hostile Environment"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1103.4065","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:9c4d9229d370975366089c2a1c0bfe0948d2a1ca4d99017d5ff9f529901bbe7d","target":"record","created_at":"2026-05-18T02:22:17Z","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":"235e00d625f9bf48b8660c9b8665971ef3ebb5a497ca1dba85b3b305343ff79d","cross_cats_sorted":["cs.RO","math.OC"],"license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","primary_cat":"cs.SY","submitted_at":"2011-03-21T16:08:46Z","title_canon_sha256":"eb7331106ef20b828154bf5d764350f34a557b55bbe2e2f542d27c6b74f73fd0"},"schema_version":"1.0","source":{"id":"1103.4065","kind":"arxiv","version":2}},"canonical_sha256":"14779b6be50ff99df2eb8d0f2a5ab823e6fbf2ccd5fa9ff646b9d137d95a304c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"14779b6be50ff99df2eb8d0f2a5ab823e6fbf2ccd5fa9ff646b9d137d95a304c","first_computed_at":"2026-05-18T02:22:17.819436Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:22:17.819436Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ShVooFs9w/XY9ECfmFzvgsS3Lqkgg+kQbyfN39Fy1flPQyEsdSnrzucjmjm33tsXjelXcYUZg3wKzQR+O39zAg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:22:17.820055Z","signed_message":"canonical_sha256_bytes"},"source_id":"1103.4065","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9c4d9229d370975366089c2a1c0bfe0948d2a1ca4d99017d5ff9f529901bbe7d","sha256:1893183edc82920bdcac20e98c02985391c05d375225b48ef407bdc10eb291dc"],"state_sha256":"85fb7535d8f7aae3657294daef389ccf56fd35e4921a6a4a42dd6d2577d796fa"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VlqCfMOEf0aJJWov/6Qxt1jmwQ3e8ukX+oDZck93I6q7U69cDG4u2ZIFIyufa48etNRQmZa5UKQauMNqRPlvAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T17:21:53.367789Z","bundle_sha256":"aeed702228339ef9df2d7d0ed3819a65dbb54a6323df1d424beb93845932e8ca"}}