{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:YIQRQG7PT7ZR64WX725YOAQ43X","short_pith_number":"pith:YIQRQG7P","canonical_record":{"source":{"id":"2406.03454","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2024-06-05T16:57:57Z","cross_cats_sorted":[],"title_canon_sha256":"5edb47bdb975c69cffef1ea45e25ae368be9222619f5d8d076f47d468a06b320","abstract_canon_sha256":"f16f23f29455d3956875a48a6a7152e9bcc607352189e5f6fb5be4a493550122"},"schema_version":"1.0"},"canonical_sha256":"c221181bef9ff31f72d7febb87021cddde23d164903f412ef359fc62c5836661","source":{"kind":"arxiv","id":"2406.03454","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2406.03454","created_at":"2026-07-05T09:22:18Z"},{"alias_kind":"arxiv_version","alias_value":"2406.03454v2","created_at":"2026-07-05T09:22:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2406.03454","created_at":"2026-07-05T09:22:18Z"},{"alias_kind":"pith_short_12","alias_value":"YIQRQG7PT7ZR","created_at":"2026-07-05T09:22:18Z"},{"alias_kind":"pith_short_16","alias_value":"YIQRQG7PT7ZR64WX","created_at":"2026-07-05T09:22:18Z"},{"alias_kind":"pith_short_8","alias_value":"YIQRQG7P","created_at":"2026-07-05T09:22:18Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:YIQRQG7PT7ZR64WX725YOAQ43X","target":"record","payload":{"canonical_record":{"source":{"id":"2406.03454","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2024-06-05T16:57:57Z","cross_cats_sorted":[],"title_canon_sha256":"5edb47bdb975c69cffef1ea45e25ae368be9222619f5d8d076f47d468a06b320","abstract_canon_sha256":"f16f23f29455d3956875a48a6a7152e9bcc607352189e5f6fb5be4a493550122"},"schema_version":"1.0"},"canonical_sha256":"c221181bef9ff31f72d7febb87021cddde23d164903f412ef359fc62c5836661","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:22:18.865075Z","signature_b64":"e6gnvgOct9DeHqs1V1zwSt8dI+KWvb1ywxJucwI3oHOImwxPGSw/HD6G1SRmwRPP6cohAw+RqyDrnNgG2/QYAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c221181bef9ff31f72d7febb87021cddde23d164903f412ef359fc62c5836661","last_reissued_at":"2026-07-05T09:22:18.864595Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:22:18.864595Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2406.03454","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-07-05T09:22:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MT0OW5Ms2QAqfR59T13odd5i4BvZEnGGuS6sqgD84xHWTuNNQs5aJmXie+S+pG4fvCSETmsnSd5nQ1Gi/CnVAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-21T18:52:51.668495Z"},"content_sha256":"e7aa5eee55d8f2155383566a6c74b160823129802d9c8e7a4278af94ae1080c4","schema_version":"1.0","event_id":"sha256:e7aa5eee55d8f2155383566a6c74b160823129802d9c8e7a4278af94ae1080c4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:YIQRQG7PT7ZR64WX725YOAQ43X","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Mission Design for Unmanned Aerial Vehicles using Hybrid Probabilistic Logic Programs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.RO","authors_text":"Benedict Flade, Devendra Singh Dhami, Julian Eggert, Kristian Kersting, Simon Kohaut","submitted_at":"2024-06-05T16:57:57Z","abstract_excerpt":"Advanced Air Mobility (AAM) is a growing field that demands a deep understanding of legal, spatial and temporal concepts in navigation. Hence, any implementation of AAM is forced to deal with the inherent uncertainties of human-inhabited spaces. Enabling growth and innovation requires the creation of a system for safe and robust mission design, i.e., the way we formalize intentions and decide their execution as trajectories for the Unmanned Aerial Vehicle (UAV). Although legal frameworks have emerged to govern urban air spaces, their full integration into the decision process of autonomous age"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2406.03454","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2406.03454/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:22:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nGLooHqN+HKqKJwej72uSfLc5C6tKmzeTlce3zQ7+9kbrAMCl3b9sSCCG9+9tTCIL52eAe/bIb3snsYEFystCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-21T18:52:51.669145Z"},"content_sha256":"220927c6bc680a35dcdac61b224a7a772277fbe9b1e6ac2d0eb9d032c4bcd626","schema_version":"1.0","event_id":"sha256:220927c6bc680a35dcdac61b224a7a772277fbe9b1e6ac2d0eb9d032c4bcd626"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YIQRQG7PT7ZR64WX725YOAQ43X/bundle.json","state_url":"https://pith.science/pith/YIQRQG7PT7ZR64WX725YOAQ43X/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YIQRQG7PT7ZR64WX725YOAQ43X/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-21T18:52:51Z","links":{"resolver":"https://pith.science/pith/YIQRQG7PT7ZR64WX725YOAQ43X","bundle":"https://pith.science/pith/YIQRQG7PT7ZR64WX725YOAQ43X/bundle.json","state":"https://pith.science/pith/YIQRQG7PT7ZR64WX725YOAQ43X/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YIQRQG7PT7ZR64WX725YOAQ43X/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:YIQRQG7PT7ZR64WX725YOAQ43X","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":"f16f23f29455d3956875a48a6a7152e9bcc607352189e5f6fb5be4a493550122","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2024-06-05T16:57:57Z","title_canon_sha256":"5edb47bdb975c69cffef1ea45e25ae368be9222619f5d8d076f47d468a06b320"},"schema_version":"1.0","source":{"id":"2406.03454","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2406.03454","created_at":"2026-07-05T09:22:18Z"},{"alias_kind":"arxiv_version","alias_value":"2406.03454v2","created_at":"2026-07-05T09:22:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2406.03454","created_at":"2026-07-05T09:22:18Z"},{"alias_kind":"pith_short_12","alias_value":"YIQRQG7PT7ZR","created_at":"2026-07-05T09:22:18Z"},{"alias_kind":"pith_short_16","alias_value":"YIQRQG7PT7ZR64WX","created_at":"2026-07-05T09:22:18Z"},{"alias_kind":"pith_short_8","alias_value":"YIQRQG7P","created_at":"2026-07-05T09:22:18Z"}],"graph_snapshots":[{"event_id":"sha256:220927c6bc680a35dcdac61b224a7a772277fbe9b1e6ac2d0eb9d032c4bcd626","target":"graph","created_at":"2026-07-05T09:22:18Z","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/2406.03454/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Advanced Air Mobility (AAM) is a growing field that demands a deep understanding of legal, spatial and temporal concepts in navigation. Hence, any implementation of AAM is forced to deal with the inherent uncertainties of human-inhabited spaces. Enabling growth and innovation requires the creation of a system for safe and robust mission design, i.e., the way we formalize intentions and decide their execution as trajectories for the Unmanned Aerial Vehicle (UAV). Although legal frameworks have emerged to govern urban air spaces, their full integration into the decision process of autonomous age","authors_text":"Benedict Flade, Devendra Singh Dhami, Julian Eggert, Kristian Kersting, Simon Kohaut","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2024-06-05T16:57:57Z","title":"Mission Design for Unmanned Aerial Vehicles using Hybrid Probabilistic Logic Programs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2406.03454","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:e7aa5eee55d8f2155383566a6c74b160823129802d9c8e7a4278af94ae1080c4","target":"record","created_at":"2026-07-05T09:22:18Z","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":"f16f23f29455d3956875a48a6a7152e9bcc607352189e5f6fb5be4a493550122","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2024-06-05T16:57:57Z","title_canon_sha256":"5edb47bdb975c69cffef1ea45e25ae368be9222619f5d8d076f47d468a06b320"},"schema_version":"1.0","source":{"id":"2406.03454","kind":"arxiv","version":2}},"canonical_sha256":"c221181bef9ff31f72d7febb87021cddde23d164903f412ef359fc62c5836661","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c221181bef9ff31f72d7febb87021cddde23d164903f412ef359fc62c5836661","first_computed_at":"2026-07-05T09:22:18.864595Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:22:18.864595Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"e6gnvgOct9DeHqs1V1zwSt8dI+KWvb1ywxJucwI3oHOImwxPGSw/HD6G1SRmwRPP6cohAw+RqyDrnNgG2/QYAg==","signature_status":"signed_v1","signed_at":"2026-07-05T09:22:18.865075Z","signed_message":"canonical_sha256_bytes"},"source_id":"2406.03454","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e7aa5eee55d8f2155383566a6c74b160823129802d9c8e7a4278af94ae1080c4","sha256:220927c6bc680a35dcdac61b224a7a772277fbe9b1e6ac2d0eb9d032c4bcd626"],"state_sha256":"5a31e53eb31cb19824388fed673ac737f227e9351ccfd6646a9339215f189e15"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"q9WFOFwz+QfzwRMHqyjTMZKpL2Hi87EDBaxUTdAESKAnB3H/cCypcjMF4oy7mxhm2Ro7HpK0A1rNWNLeZGwrDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-21T18:52:51.674740Z","bundle_sha256":"79d2ce34c2d5907e2f04adeb15a936aae2dea836ae4ff9560df4ac6f31727471"}}