{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:7NFFMFSOUJ26RGCC5H342LE7WW","short_pith_number":"pith:7NFFMFSO","canonical_record":{"source":{"id":"2412.08102","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2024-12-11T05:05:16Z","cross_cats_sorted":[],"title_canon_sha256":"068d8c6daf9026e59b2b979395b552e42e653972b0d45086fa7a15398a9f12c2","abstract_canon_sha256":"343dfa12a9d7e2c3257e516e494d243883f494f17328b7212e44da1a8b73758b"},"schema_version":"1.0"},"canonical_sha256":"fb4a56164ea275e89842e9f7cd2c9fb5aac61c7af781ea565ae7f736e3e9e776","source":{"kind":"arxiv","id":"2412.08102","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2412.08102","created_at":"2026-07-05T09:47:44Z"},{"alias_kind":"arxiv_version","alias_value":"2412.08102v1","created_at":"2026-07-05T09:47:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2412.08102","created_at":"2026-07-05T09:47:44Z"},{"alias_kind":"pith_short_12","alias_value":"7NFFMFSOUJ26","created_at":"2026-07-05T09:47:44Z"},{"alias_kind":"pith_short_16","alias_value":"7NFFMFSOUJ26RGCC","created_at":"2026-07-05T09:47:44Z"},{"alias_kind":"pith_short_8","alias_value":"7NFFMFSO","created_at":"2026-07-05T09:47:44Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:7NFFMFSOUJ26RGCC5H342LE7WW","target":"record","payload":{"canonical_record":{"source":{"id":"2412.08102","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2024-12-11T05:05:16Z","cross_cats_sorted":[],"title_canon_sha256":"068d8c6daf9026e59b2b979395b552e42e653972b0d45086fa7a15398a9f12c2","abstract_canon_sha256":"343dfa12a9d7e2c3257e516e494d243883f494f17328b7212e44da1a8b73758b"},"schema_version":"1.0"},"canonical_sha256":"fb4a56164ea275e89842e9f7cd2c9fb5aac61c7af781ea565ae7f736e3e9e776","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:47:44.523353Z","signature_b64":"V+y08ogVMPnwc3JK2lVC4vVzAUPv6YCnPfsRjYNt+LY12LofbInMgVs4TVKC28mezzLaExY0rlSRlvvdOQrvCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fb4a56164ea275e89842e9f7cd2c9fb5aac61c7af781ea565ae7f736e3e9e776","last_reissued_at":"2026-07-05T09:47:44.522899Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:47:44.522899Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2412.08102","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-07-05T09:47:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"V1CcSo9s3sbcy+WZUWiuKI2WL4KY0B7OYcT+Yb72bSuE7vPGRQE7MGfUKyso0D0D+jFKl2eAuPcsjbK6Tcu9Ag==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-09T04:46:47.526175Z"},"content_sha256":"c0ef4080a160ca9ce649f4bf0e58301c8fe9f9d202e77e983580eea10e3536f8","schema_version":"1.0","event_id":"sha256:c0ef4080a160ca9ce649f4bf0e58301c8fe9f9d202e77e983580eea10e3536f8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:7NFFMFSOUJ26RGCC5H342LE7WW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Verification and Validation of a Vision-Based Landing System for Autonomous VTOL Air Taxis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.RO","authors_text":"Ayoosh Bansal, Christos Papachristos, Chuyuan Tao, Duo Wang, Hyung-Jin Yoon, Lui Sha, Mikael Yeghiazaryan, Naira Hovakimyan, Petros Voulgaris, Prateek Arora, Sayan Mitra, Yangge Li","submitted_at":"2024-12-11T05:05:16Z","abstract_excerpt":"Autonomous air taxis are poised to revolutionize urban mass transportation, however, ensuring their safety and reliability remains an open challenge. Validating autonomy solutions on air taxis in the real world presents complexities, risks, and costs that further convolute this challenge. Verification and Validation (V&V) frameworks play a crucial role in the design and development of highly reliable systems by formally verifying safety properties and validating algorithm behavior across diverse operational scenarios. Advancements in high-fidelity simulators have significantly enhanced their c"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2412.08102","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2412.08102/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T09:47:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VZSCUIg97PRP5blFz6L0w/chZYvAVTY0l+KlbWaRFtVhMo6clxmuIeNDYWdR1TqVN1ljzLPuHaWVpwlUx06rDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-09T04:46:47.526590Z"},"content_sha256":"8401cc1d8196759ac8ee53b6ed88bad2c7d363935ec2116a3e062fc6a237b4a6","schema_version":"1.0","event_id":"sha256:8401cc1d8196759ac8ee53b6ed88bad2c7d363935ec2116a3e062fc6a237b4a6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7NFFMFSOUJ26RGCC5H342LE7WW/bundle.json","state_url":"https://pith.science/pith/7NFFMFSOUJ26RGCC5H342LE7WW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7NFFMFSOUJ26RGCC5H342LE7WW/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-07-09T04:46:47Z","links":{"resolver":"https://pith.science/pith/7NFFMFSOUJ26RGCC5H342LE7WW","bundle":"https://pith.science/pith/7NFFMFSOUJ26RGCC5H342LE7WW/bundle.json","state":"https://pith.science/pith/7NFFMFSOUJ26RGCC5H342LE7WW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7NFFMFSOUJ26RGCC5H342LE7WW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:7NFFMFSOUJ26RGCC5H342LE7WW","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":"343dfa12a9d7e2c3257e516e494d243883f494f17328b7212e44da1a8b73758b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2024-12-11T05:05:16Z","title_canon_sha256":"068d8c6daf9026e59b2b979395b552e42e653972b0d45086fa7a15398a9f12c2"},"schema_version":"1.0","source":{"id":"2412.08102","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2412.08102","created_at":"2026-07-05T09:47:44Z"},{"alias_kind":"arxiv_version","alias_value":"2412.08102v1","created_at":"2026-07-05T09:47:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2412.08102","created_at":"2026-07-05T09:47:44Z"},{"alias_kind":"pith_short_12","alias_value":"7NFFMFSOUJ26","created_at":"2026-07-05T09:47:44Z"},{"alias_kind":"pith_short_16","alias_value":"7NFFMFSOUJ26RGCC","created_at":"2026-07-05T09:47:44Z"},{"alias_kind":"pith_short_8","alias_value":"7NFFMFSO","created_at":"2026-07-05T09:47:44Z"}],"graph_snapshots":[{"event_id":"sha256:8401cc1d8196759ac8ee53b6ed88bad2c7d363935ec2116a3e062fc6a237b4a6","target":"graph","created_at":"2026-07-05T09:47:44Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2412.08102/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Autonomous air taxis are poised to revolutionize urban mass transportation, however, ensuring their safety and reliability remains an open challenge. Validating autonomy solutions on air taxis in the real world presents complexities, risks, and costs that further convolute this challenge. Verification and Validation (V&V) frameworks play a crucial role in the design and development of highly reliable systems by formally verifying safety properties and validating algorithm behavior across diverse operational scenarios. Advancements in high-fidelity simulators have significantly enhanced their c","authors_text":"Ayoosh Bansal, Christos Papachristos, Chuyuan Tao, Duo Wang, Hyung-Jin Yoon, Lui Sha, Mikael Yeghiazaryan, Naira Hovakimyan, Petros Voulgaris, Prateek Arora, Sayan Mitra, Yangge Li","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2024-12-11T05:05:16Z","title":"Verification and Validation of a Vision-Based Landing System for Autonomous VTOL Air Taxis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2412.08102","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:c0ef4080a160ca9ce649f4bf0e58301c8fe9f9d202e77e983580eea10e3536f8","target":"record","created_at":"2026-07-05T09:47:44Z","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":"343dfa12a9d7e2c3257e516e494d243883f494f17328b7212e44da1a8b73758b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2024-12-11T05:05:16Z","title_canon_sha256":"068d8c6daf9026e59b2b979395b552e42e653972b0d45086fa7a15398a9f12c2"},"schema_version":"1.0","source":{"id":"2412.08102","kind":"arxiv","version":1}},"canonical_sha256":"fb4a56164ea275e89842e9f7cd2c9fb5aac61c7af781ea565ae7f736e3e9e776","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fb4a56164ea275e89842e9f7cd2c9fb5aac61c7af781ea565ae7f736e3e9e776","first_computed_at":"2026-07-05T09:47:44.522899Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:47:44.522899Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"V+y08ogVMPnwc3JK2lVC4vVzAUPv6YCnPfsRjYNt+LY12LofbInMgVs4TVKC28mezzLaExY0rlSRlvvdOQrvCg==","signature_status":"signed_v1","signed_at":"2026-07-05T09:47:44.523353Z","signed_message":"canonical_sha256_bytes"},"source_id":"2412.08102","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c0ef4080a160ca9ce649f4bf0e58301c8fe9f9d202e77e983580eea10e3536f8","sha256:8401cc1d8196759ac8ee53b6ed88bad2c7d363935ec2116a3e062fc6a237b4a6"],"state_sha256":"e9dfbce2534fd6baceecf068c65fafade2674755906b53df2ba1cb46669ce642"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"V6OgZrP5VL8Rg/DFGqlerwDTPWe6dquPDI4pRYxn+Bx6jdAfuaRuYK87uNEQZHe0s7YDuwABMds2NL5sUxI+BQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-09T04:46:47.528740Z","bundle_sha256":"829c953a11559c550a17599ee4405b091471ee831be746cae8d5e1c2559af6ca"}}