{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:CXKK3Q7LYX563FVAVLWWGZ27EX","short_pith_number":"pith:CXKK3Q7L","canonical_record":{"source":{"id":"1604.07363","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2016-04-25T18:52:23Z","cross_cats_sorted":[],"title_canon_sha256":"9688c5e4f4e9f290dc5a1c7cde991083de8e289afe57a3b8e341223e7dede3da","abstract_canon_sha256":"3b7aa82dee77c9ba8b86c4190b11c9988e77e50ff3659f57816d2aa94a8af26d"},"schema_version":"1.0"},"canonical_sha256":"15d4adc3ebc5fbed96a0aaed63675f25fae44229ae23c673466bd1b87a6c4328","source":{"kind":"arxiv","id":"1604.07363","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1604.07363","created_at":"2026-05-18T01:16:22Z"},{"alias_kind":"arxiv_version","alias_value":"1604.07363v1","created_at":"2026-05-18T01:16:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1604.07363","created_at":"2026-05-18T01:16:22Z"},{"alias_kind":"pith_short_12","alias_value":"CXKK3Q7LYX56","created_at":"2026-05-18T12:30:09Z"},{"alias_kind":"pith_short_16","alias_value":"CXKK3Q7LYX563FVA","created_at":"2026-05-18T12:30:09Z"},{"alias_kind":"pith_short_8","alias_value":"CXKK3Q7L","created_at":"2026-05-18T12:30:09Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:CXKK3Q7LYX563FVAVLWWGZ27EX","target":"record","payload":{"canonical_record":{"source":{"id":"1604.07363","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2016-04-25T18:52:23Z","cross_cats_sorted":[],"title_canon_sha256":"9688c5e4f4e9f290dc5a1c7cde991083de8e289afe57a3b8e341223e7dede3da","abstract_canon_sha256":"3b7aa82dee77c9ba8b86c4190b11c9988e77e50ff3659f57816d2aa94a8af26d"},"schema_version":"1.0"},"canonical_sha256":"15d4adc3ebc5fbed96a0aaed63675f25fae44229ae23c673466bd1b87a6c4328","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:16:22.315113Z","signature_b64":"F30NVP83Snsi83WS5iWg6uDNnfYeyRgcKbXtXuqmpQrMkgt90RUNHAXQ0O8WM0VSu6k1m7VMZB1l7NZc+ONUCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"15d4adc3ebc5fbed96a0aaed63675f25fae44229ae23c673466bd1b87a6c4328","last_reissued_at":"2026-05-18T01:16:22.314546Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:16:22.314546Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1604.07363","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-18T01:16:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+BTa0FgehvgYYkh5bHDGTewHx/JlbsC4R8qm0RnxiEmQQciqjcE/pmUNYtuyuXYUmXdRT73h74L0QHyWgEJ6Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T08:58:13.885689Z"},"content_sha256":"66d67313435afb6dd9c820a79504c572d0ccb22bd99c54a86bcf2ce458cd3723","schema_version":"1.0","event_id":"sha256:66d67313435afb6dd9c820a79504c572d0ccb22bd99c54a86bcf2ce458cd3723"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:CXKK3Q7LYX563FVAVLWWGZ27EX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Efficient estimation of probability of conflict between air traffic using Subset Simulation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SY","authors_text":"Chinmaya Mishra, Jason F. Ralph, Simon Maskell, Siu-Kui Au","submitted_at":"2016-04-25T18:52:23Z","abstract_excerpt":"This paper presents an efficient method for estimating the probability of conflict between air traffic within a block of airspace. Autonomous Sense-and-Avoid is an essential safety feature to enable Unmanned Air Systems to operate alongside other (manned or unmanned) air traffic. The ability to estimate probability of conflict between traffic is an essential part of Sense-and-Avoid. Such probabilities are typically very low. Evaluating low probabilities using naive Direct Monte Carlo generates a significant computational load. This paper applies a technique called Subset Simulation. The small "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1604.07363","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-18T01:16:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FWR5SxDov+blb1IiXANkIRn2SnTBKCY9/Sgt6Gcb4cirD2a5S5Lp+FjF0tVpN2wFZiDdbTQjHDPz/EKwpGv3Cw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T08:58:13.886033Z"},"content_sha256":"16c48caff2af7144f2f209b9a658dc668a29ca65d1e5d275372c4ebdad8eaab9","schema_version":"1.0","event_id":"sha256:16c48caff2af7144f2f209b9a658dc668a29ca65d1e5d275372c4ebdad8eaab9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/CXKK3Q7LYX563FVAVLWWGZ27EX/bundle.json","state_url":"https://pith.science/pith/CXKK3Q7LYX563FVAVLWWGZ27EX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/CXKK3Q7LYX563FVAVLWWGZ27EX/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-03T08:58:13Z","links":{"resolver":"https://pith.science/pith/CXKK3Q7LYX563FVAVLWWGZ27EX","bundle":"https://pith.science/pith/CXKK3Q7LYX563FVAVLWWGZ27EX/bundle.json","state":"https://pith.science/pith/CXKK3Q7LYX563FVAVLWWGZ27EX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/CXKK3Q7LYX563FVAVLWWGZ27EX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:CXKK3Q7LYX563FVAVLWWGZ27EX","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":"3b7aa82dee77c9ba8b86c4190b11c9988e77e50ff3659f57816d2aa94a8af26d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2016-04-25T18:52:23Z","title_canon_sha256":"9688c5e4f4e9f290dc5a1c7cde991083de8e289afe57a3b8e341223e7dede3da"},"schema_version":"1.0","source":{"id":"1604.07363","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1604.07363","created_at":"2026-05-18T01:16:22Z"},{"alias_kind":"arxiv_version","alias_value":"1604.07363v1","created_at":"2026-05-18T01:16:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1604.07363","created_at":"2026-05-18T01:16:22Z"},{"alias_kind":"pith_short_12","alias_value":"CXKK3Q7LYX56","created_at":"2026-05-18T12:30:09Z"},{"alias_kind":"pith_short_16","alias_value":"CXKK3Q7LYX563FVA","created_at":"2026-05-18T12:30:09Z"},{"alias_kind":"pith_short_8","alias_value":"CXKK3Q7L","created_at":"2026-05-18T12:30:09Z"}],"graph_snapshots":[{"event_id":"sha256:16c48caff2af7144f2f209b9a658dc668a29ca65d1e5d275372c4ebdad8eaab9","target":"graph","created_at":"2026-05-18T01:16:22Z","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":"This paper presents an efficient method for estimating the probability of conflict between air traffic within a block of airspace. Autonomous Sense-and-Avoid is an essential safety feature to enable Unmanned Air Systems to operate alongside other (manned or unmanned) air traffic. The ability to estimate probability of conflict between traffic is an essential part of Sense-and-Avoid. Such probabilities are typically very low. Evaluating low probabilities using naive Direct Monte Carlo generates a significant computational load. This paper applies a technique called Subset Simulation. The small ","authors_text":"Chinmaya Mishra, Jason F. Ralph, Simon Maskell, Siu-Kui Au","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2016-04-25T18:52:23Z","title":"Efficient estimation of probability of conflict between air traffic using Subset Simulation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1604.07363","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:66d67313435afb6dd9c820a79504c572d0ccb22bd99c54a86bcf2ce458cd3723","target":"record","created_at":"2026-05-18T01:16:22Z","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":"3b7aa82dee77c9ba8b86c4190b11c9988e77e50ff3659f57816d2aa94a8af26d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2016-04-25T18:52:23Z","title_canon_sha256":"9688c5e4f4e9f290dc5a1c7cde991083de8e289afe57a3b8e341223e7dede3da"},"schema_version":"1.0","source":{"id":"1604.07363","kind":"arxiv","version":1}},"canonical_sha256":"15d4adc3ebc5fbed96a0aaed63675f25fae44229ae23c673466bd1b87a6c4328","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"15d4adc3ebc5fbed96a0aaed63675f25fae44229ae23c673466bd1b87a6c4328","first_computed_at":"2026-05-18T01:16:22.314546Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:16:22.314546Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"F30NVP83Snsi83WS5iWg6uDNnfYeyRgcKbXtXuqmpQrMkgt90RUNHAXQ0O8WM0VSu6k1m7VMZB1l7NZc+ONUCg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:16:22.315113Z","signed_message":"canonical_sha256_bytes"},"source_id":"1604.07363","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:66d67313435afb6dd9c820a79504c572d0ccb22bd99c54a86bcf2ce458cd3723","sha256:16c48caff2af7144f2f209b9a658dc668a29ca65d1e5d275372c4ebdad8eaab9"],"state_sha256":"398b1ddf2f039428996e466b8645e35e9512c9559e5ca70f0c64c75e48fa2266"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VgD7BJD/o16ByE74YYtZiqTb3EWwuK3KgkPD46QnStCf+mvq1vchi8MaaPJ9x5VD/01UebzPeVkOn4sIQGecAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T08:58:13.888463Z","bundle_sha256":"3c785ff2fd27c4dbb3a8cbe41844b87d93672b06e9bec62f35777e079b494036"}}