{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:BC7RVEAGM2MSWJZYQMGTOVKCMO","short_pith_number":"pith:BC7RVEAG","canonical_record":{"source":{"id":"2101.06091","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2021-01-15T13:15:23Z","cross_cats_sorted":[],"title_canon_sha256":"bc40d080a36746856aee85f4df487b00f43db54866e56c874e0a99c40268e2f3","abstract_canon_sha256":"039785089034fea2b9ee0eb257912b58a8d45dc20640696759c8e1302cbe1731"},"schema_version":"1.0"},"canonical_sha256":"08bf1a900666992b2738830d37554263a59140783682339379b34cc73feb6a89","source":{"kind":"arxiv","id":"2101.06091","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2101.06091","created_at":"2026-07-05T02:07:10Z"},{"alias_kind":"arxiv_version","alias_value":"2101.06091v1","created_at":"2026-07-05T02:07:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2101.06091","created_at":"2026-07-05T02:07:10Z"},{"alias_kind":"pith_short_12","alias_value":"BC7RVEAGM2MS","created_at":"2026-07-05T02:07:10Z"},{"alias_kind":"pith_short_16","alias_value":"BC7RVEAGM2MSWJZY","created_at":"2026-07-05T02:07:10Z"},{"alias_kind":"pith_short_8","alias_value":"BC7RVEAG","created_at":"2026-07-05T02:07:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:BC7RVEAGM2MSWJZYQMGTOVKCMO","target":"record","payload":{"canonical_record":{"source":{"id":"2101.06091","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2021-01-15T13:15:23Z","cross_cats_sorted":[],"title_canon_sha256":"bc40d080a36746856aee85f4df487b00f43db54866e56c874e0a99c40268e2f3","abstract_canon_sha256":"039785089034fea2b9ee0eb257912b58a8d45dc20640696759c8e1302cbe1731"},"schema_version":"1.0"},"canonical_sha256":"08bf1a900666992b2738830d37554263a59140783682339379b34cc73feb6a89","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:07:10.150205Z","signature_b64":"2e0TVNdu7FQ4nHd9aRDbCObKE5Kw8Kzg9F+3FlXEyP0vO2z2ipGbNoTu5ROl3R0hAyOu5+O8yd/NbItDZt3uAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"08bf1a900666992b2738830d37554263a59140783682339379b34cc73feb6a89","last_reissued_at":"2026-07-05T02:07:10.149722Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:07:10.149722Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2101.06091","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-05T02:07:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PMU6xLA5jYZQSNjHZn3hSyP1+vrZ6L0I9Iq7R2568MsiGXwYFeWXkfAQvtbRq0sT/TKA6iUDz7ykxztZlF4ECQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-23T17:54:02.703395Z"},"content_sha256":"3b15bc14237906284ffc0b1cde16c766209add21d692862a8a8c7e2304ef4d2e","schema_version":"1.0","event_id":"sha256:3b15bc14237906284ffc0b1cde16c766209add21d692862a8a8c7e2304ef4d2e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:BC7RVEAGM2MSWJZYQMGTOVKCMO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On the Verification and Validation of AI Navigation Algorithms","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Ivan Porres, Johan Lilius, Johanna Salokannel, Mirva Salokorpi, S\\'ebastien Lafond, Sepinoud Azimi","submitted_at":"2021-01-15T13:15:23Z","abstract_excerpt":"This paper explores the state of the art on to methods to verify and validate navigation algorithms for autonomous surface ships. We perform a systematic mapping study to find research works published in the last 10 years proposing new algorithms for autonomous navigation and collision avoidance and we have extracted what verification and validation approaches have been applied on these algorithms. We observe that most research works use simulations to validate their algorithms. However, these simulations often involve just a few scenarios designed manually. This raises the question if the alg"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2101.06091","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/2101.06091/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-05T02:07:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"w3eFiSThSppQIlNTJr7B/gGx0c3lV9o+WB3ADq1x6GjU9epgWQf9cMtW6IRd7DVPghTtvkeXum29L0PpbhJDBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-23T17:54:02.703747Z"},"content_sha256":"ad2d0cac7cc2cb8e95d178609efd035f808b71dc197665fbc67ccec0e74ea0ec","schema_version":"1.0","event_id":"sha256:ad2d0cac7cc2cb8e95d178609efd035f808b71dc197665fbc67ccec0e74ea0ec"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BC7RVEAGM2MSWJZYQMGTOVKCMO/bundle.json","state_url":"https://pith.science/pith/BC7RVEAGM2MSWJZYQMGTOVKCMO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BC7RVEAGM2MSWJZYQMGTOVKCMO/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-08-23T17:54:02Z","links":{"resolver":"https://pith.science/pith/BC7RVEAGM2MSWJZYQMGTOVKCMO","bundle":"https://pith.science/pith/BC7RVEAGM2MSWJZYQMGTOVKCMO/bundle.json","state":"https://pith.science/pith/BC7RVEAGM2MSWJZYQMGTOVKCMO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BC7RVEAGM2MSWJZYQMGTOVKCMO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:BC7RVEAGM2MSWJZYQMGTOVKCMO","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":"039785089034fea2b9ee0eb257912b58a8d45dc20640696759c8e1302cbe1731","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2021-01-15T13:15:23Z","title_canon_sha256":"bc40d080a36746856aee85f4df487b00f43db54866e56c874e0a99c40268e2f3"},"schema_version":"1.0","source":{"id":"2101.06091","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2101.06091","created_at":"2026-07-05T02:07:10Z"},{"alias_kind":"arxiv_version","alias_value":"2101.06091v1","created_at":"2026-07-05T02:07:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2101.06091","created_at":"2026-07-05T02:07:10Z"},{"alias_kind":"pith_short_12","alias_value":"BC7RVEAGM2MS","created_at":"2026-07-05T02:07:10Z"},{"alias_kind":"pith_short_16","alias_value":"BC7RVEAGM2MSWJZY","created_at":"2026-07-05T02:07:10Z"},{"alias_kind":"pith_short_8","alias_value":"BC7RVEAG","created_at":"2026-07-05T02:07:10Z"}],"graph_snapshots":[{"event_id":"sha256:ad2d0cac7cc2cb8e95d178609efd035f808b71dc197665fbc67ccec0e74ea0ec","target":"graph","created_at":"2026-07-05T02:07:10Z","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/2101.06091/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper explores the state of the art on to methods to verify and validate navigation algorithms for autonomous surface ships. We perform a systematic mapping study to find research works published in the last 10 years proposing new algorithms for autonomous navigation and collision avoidance and we have extracted what verification and validation approaches have been applied on these algorithms. We observe that most research works use simulations to validate their algorithms. However, these simulations often involve just a few scenarios designed manually. This raises the question if the alg","authors_text":"Ivan Porres, Johan Lilius, Johanna Salokannel, Mirva Salokorpi, S\\'ebastien Lafond, Sepinoud Azimi","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2021-01-15T13:15:23Z","title":"On the Verification and Validation of AI Navigation Algorithms"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2101.06091","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:3b15bc14237906284ffc0b1cde16c766209add21d692862a8a8c7e2304ef4d2e","target":"record","created_at":"2026-07-05T02:07:10Z","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":"039785089034fea2b9ee0eb257912b58a8d45dc20640696759c8e1302cbe1731","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2021-01-15T13:15:23Z","title_canon_sha256":"bc40d080a36746856aee85f4df487b00f43db54866e56c874e0a99c40268e2f3"},"schema_version":"1.0","source":{"id":"2101.06091","kind":"arxiv","version":1}},"canonical_sha256":"08bf1a900666992b2738830d37554263a59140783682339379b34cc73feb6a89","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"08bf1a900666992b2738830d37554263a59140783682339379b34cc73feb6a89","first_computed_at":"2026-07-05T02:07:10.149722Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:07:10.149722Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"2e0TVNdu7FQ4nHd9aRDbCObKE5Kw8Kzg9F+3FlXEyP0vO2z2ipGbNoTu5ROl3R0hAyOu5+O8yd/NbItDZt3uAw==","signature_status":"signed_v1","signed_at":"2026-07-05T02:07:10.150205Z","signed_message":"canonical_sha256_bytes"},"source_id":"2101.06091","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3b15bc14237906284ffc0b1cde16c766209add21d692862a8a8c7e2304ef4d2e","sha256:ad2d0cac7cc2cb8e95d178609efd035f808b71dc197665fbc67ccec0e74ea0ec"],"state_sha256":"8d39d0563d6a7c7f6ce9aa9afd2b110ff67f9b4d1553c3ad593cd044706a37c9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"W0cxFncVW6T7hgjZnCEMEO6H99W6olm5Lb/lD+SxyKItooMPee3CAJh+NwAIK+CeM6UVhZxVbJE+CN+VZVnBBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-23T17:54:02.707018Z","bundle_sha256":"808a55f48ab29404e1ec7108e2c8d57f848bca0973c58f71a4ebb0abfece2ad6"}}