{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:REDJ43WT7UVI23CL4XGEJQS57R","short_pith_number":"pith:REDJ43WT","canonical_record":{"source":{"id":"1608.08589","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-08-30T18:25:35Z","cross_cats_sorted":["cs.GT"],"title_canon_sha256":"9ba4438de2264b9e4929a11576149099595302e7b7fe730855ae3b1988c25657","abstract_canon_sha256":"6bc839393d9cb47e73b8b7d619c442877bcbae9ba58ced640ef33feb0d35bf10"},"schema_version":"1.0"},"canonical_sha256":"89069e6ed3fd2a8d6c4be5cc44c25dfc53cbc73d9a09e0422249b07d5117b220","source":{"kind":"arxiv","id":"1608.08589","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1608.08589","created_at":"2026-05-18T01:07:17Z"},{"alias_kind":"arxiv_version","alias_value":"1608.08589v1","created_at":"2026-05-18T01:07:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1608.08589","created_at":"2026-05-18T01:07:17Z"},{"alias_kind":"pith_short_12","alias_value":"REDJ43WT7UVI","created_at":"2026-05-18T12:30:41Z"},{"alias_kind":"pith_short_16","alias_value":"REDJ43WT7UVI23CL","created_at":"2026-05-18T12:30:41Z"},{"alias_kind":"pith_short_8","alias_value":"REDJ43WT","created_at":"2026-05-18T12:30:41Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:REDJ43WT7UVI23CL4XGEJQS57R","target":"record","payload":{"canonical_record":{"source":{"id":"1608.08589","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-08-30T18:25:35Z","cross_cats_sorted":["cs.GT"],"title_canon_sha256":"9ba4438de2264b9e4929a11576149099595302e7b7fe730855ae3b1988c25657","abstract_canon_sha256":"6bc839393d9cb47e73b8b7d619c442877bcbae9ba58ced640ef33feb0d35bf10"},"schema_version":"1.0"},"canonical_sha256":"89069e6ed3fd2a8d6c4be5cc44c25dfc53cbc73d9a09e0422249b07d5117b220","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:07:17.697742Z","signature_b64":"e6JLkI9LwbZeWZxkJUhh/tXwfSb8ACAjDhWN+Jtn1WulDoMAhduhAF+atIzjeKk7whUyCKAZqMTJDvisAIZZBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"89069e6ed3fd2a8d6c4be5cc44c25dfc53cbc73d9a09e0422249b07d5117b220","last_reissued_at":"2026-05-18T01:07:17.697096Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:07:17.697096Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1608.08589","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:07:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"I007DYLIZkIzHZAso0Ar1+flu1QnyFi4/lA9ZLAsKKaBtsF6CyLE9HmYhbPuvAZwZFeVehMVJYT/RgPIoKunAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-22T18:18:28.611899Z"},"content_sha256":"0f1a7acb728bdebbdd404721c4b8e733238c1b07faed2467dd252f47a3258691","schema_version":"1.0","event_id":"sha256:0f1a7acb728bdebbdd404721c4b8e733238c1b07faed2467dd252f47a3258691"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:REDJ43WT7UVI23CL4XGEJQS57R","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Game-Theoretic Modeling of Driver and Vehicle Interactions for Verification and Validation of Autonomous Vehicle Control Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.GT"],"primary_cat":"cs.AI","authors_text":"Anouck Girard, Dave Oyler, Ilya Kolmanovsky, Mengxuan Zhang, Nan Li, Yildiray Yildiz","submitted_at":"2016-08-30T18:25:35Z","abstract_excerpt":"Autonomous driving has been the subject of increased interest in recent years both in industry and in academia. Serious efforts are being pursued to address legal, technical and logistical problems and make autonomous cars a viable option for everyday transportation. One significant challenge is the time and effort required for the verification and validation of the decision and control algorithms employed in these vehicles to ensure a safe and comfortable driving experience. Hundreds of thousands of miles of driving tests are required to achieve a well calibrated control system that is capabl"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1608.08589","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:07:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+KfKL6xTx7LjlzTPmR/93wlb6PWuMk6eTsA0gJGg9kIAG86dnQuUsDa1z6aM4odmXHmeq5AwRHpTESbtqsIBCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-22T18:18:28.612532Z"},"content_sha256":"4d25d09aae0a0d66f2e69b61dba9d8589479c131364032265204ce655bf2bbb8","schema_version":"1.0","event_id":"sha256:4d25d09aae0a0d66f2e69b61dba9d8589479c131364032265204ce655bf2bbb8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/REDJ43WT7UVI23CL4XGEJQS57R/bundle.json","state_url":"https://pith.science/pith/REDJ43WT7UVI23CL4XGEJQS57R/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/REDJ43WT7UVI23CL4XGEJQS57R/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-22T18:18:28Z","links":{"resolver":"https://pith.science/pith/REDJ43WT7UVI23CL4XGEJQS57R","bundle":"https://pith.science/pith/REDJ43WT7UVI23CL4XGEJQS57R/bundle.json","state":"https://pith.science/pith/REDJ43WT7UVI23CL4XGEJQS57R/state.json","well_known_bundle":"https://pith.science/.well-known/pith/REDJ43WT7UVI23CL4XGEJQS57R/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:REDJ43WT7UVI23CL4XGEJQS57R","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":"6bc839393d9cb47e73b8b7d619c442877bcbae9ba58ced640ef33feb0d35bf10","cross_cats_sorted":["cs.GT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-08-30T18:25:35Z","title_canon_sha256":"9ba4438de2264b9e4929a11576149099595302e7b7fe730855ae3b1988c25657"},"schema_version":"1.0","source":{"id":"1608.08589","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1608.08589","created_at":"2026-05-18T01:07:17Z"},{"alias_kind":"arxiv_version","alias_value":"1608.08589v1","created_at":"2026-05-18T01:07:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1608.08589","created_at":"2026-05-18T01:07:17Z"},{"alias_kind":"pith_short_12","alias_value":"REDJ43WT7UVI","created_at":"2026-05-18T12:30:41Z"},{"alias_kind":"pith_short_16","alias_value":"REDJ43WT7UVI23CL","created_at":"2026-05-18T12:30:41Z"},{"alias_kind":"pith_short_8","alias_value":"REDJ43WT","created_at":"2026-05-18T12:30:41Z"}],"graph_snapshots":[{"event_id":"sha256:4d25d09aae0a0d66f2e69b61dba9d8589479c131364032265204ce655bf2bbb8","target":"graph","created_at":"2026-05-18T01:07: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":"Autonomous driving has been the subject of increased interest in recent years both in industry and in academia. Serious efforts are being pursued to address legal, technical and logistical problems and make autonomous cars a viable option for everyday transportation. One significant challenge is the time and effort required for the verification and validation of the decision and control algorithms employed in these vehicles to ensure a safe and comfortable driving experience. Hundreds of thousands of miles of driving tests are required to achieve a well calibrated control system that is capabl","authors_text":"Anouck Girard, Dave Oyler, Ilya Kolmanovsky, Mengxuan Zhang, Nan Li, Yildiray Yildiz","cross_cats":["cs.GT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-08-30T18:25:35Z","title":"Game-Theoretic Modeling of Driver and Vehicle Interactions for Verification and Validation of Autonomous Vehicle Control Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1608.08589","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:0f1a7acb728bdebbdd404721c4b8e733238c1b07faed2467dd252f47a3258691","target":"record","created_at":"2026-05-18T01:07: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":"6bc839393d9cb47e73b8b7d619c442877bcbae9ba58ced640ef33feb0d35bf10","cross_cats_sorted":["cs.GT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-08-30T18:25:35Z","title_canon_sha256":"9ba4438de2264b9e4929a11576149099595302e7b7fe730855ae3b1988c25657"},"schema_version":"1.0","source":{"id":"1608.08589","kind":"arxiv","version":1}},"canonical_sha256":"89069e6ed3fd2a8d6c4be5cc44c25dfc53cbc73d9a09e0422249b07d5117b220","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"89069e6ed3fd2a8d6c4be5cc44c25dfc53cbc73d9a09e0422249b07d5117b220","first_computed_at":"2026-05-18T01:07:17.697096Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:07:17.697096Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"e6JLkI9LwbZeWZxkJUhh/tXwfSb8ACAjDhWN+Jtn1WulDoMAhduhAF+atIzjeKk7whUyCKAZqMTJDvisAIZZBA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:07:17.697742Z","signed_message":"canonical_sha256_bytes"},"source_id":"1608.08589","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0f1a7acb728bdebbdd404721c4b8e733238c1b07faed2467dd252f47a3258691","sha256:4d25d09aae0a0d66f2e69b61dba9d8589479c131364032265204ce655bf2bbb8"],"state_sha256":"f7703f5680f74a2212887956c61a855513ac841fd8be34f4ffe3b077e81cfe1b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JyiJImzB0zvxslNFZXzoN/O/iojaUMGBHwPxxKWj+GClBmFk/ceveQEGWi0xU+5T/zcjJHMN+JMjREDwQGEhDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-22T18:18:28.616161Z","bundle_sha256":"cee1742a59f2eb8c0e2dc17b64b3b492368c856c0edbd37207b18375523fd251"}}