{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:MPOYDEPLASJDG23KSOUSZTO7A2","short_pith_number":"pith:MPOYDEPL","canonical_record":{"source":{"id":"1804.04487","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-03-29T16:55:28Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"a706e18aee81671c4b962acde809830a0b3520bcbd89a9d0abfb487b2f264ad5","abstract_canon_sha256":"ec5b96045f66c4110341f204230728858a9999bc702374e16ef8677017a09a38"},"schema_version":"1.0"},"canonical_sha256":"63dd8191eb0492336b6a93a92ccddf068b643adfcb3fa6df9a9846cefb086c77","source":{"kind":"arxiv","id":"1804.04487","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.04487","created_at":"2026-05-18T00:18:37Z"},{"alias_kind":"arxiv_version","alias_value":"1804.04487v1","created_at":"2026-05-18T00:18:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.04487","created_at":"2026-05-18T00:18:37Z"},{"alias_kind":"pith_short_12","alias_value":"MPOYDEPLASJD","created_at":"2026-05-18T12:32:40Z"},{"alias_kind":"pith_short_16","alias_value":"MPOYDEPLASJDG23K","created_at":"2026-05-18T12:32:40Z"},{"alias_kind":"pith_short_8","alias_value":"MPOYDEPL","created_at":"2026-05-18T12:32:40Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:MPOYDEPLASJDG23KSOUSZTO7A2","target":"record","payload":{"canonical_record":{"source":{"id":"1804.04487","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-03-29T16:55:28Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"a706e18aee81671c4b962acde809830a0b3520bcbd89a9d0abfb487b2f264ad5","abstract_canon_sha256":"ec5b96045f66c4110341f204230728858a9999bc702374e16ef8677017a09a38"},"schema_version":"1.0"},"canonical_sha256":"63dd8191eb0492336b6a93a92ccddf068b643adfcb3fa6df9a9846cefb086c77","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:18:37.407510Z","signature_b64":"89+MwfrPBAJYzY0p76IgXWrCgDaddqUtf9MOAPyzj+/kP2N0bAu5R+rTwKxI4rWriHW4LkHDKxQcE8tRZ0dnCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"63dd8191eb0492336b6a93a92ccddf068b643adfcb3fa6df9a9846cefb086c77","last_reissued_at":"2026-05-18T00:18:37.406974Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:18:37.406974Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1804.04487","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-18T00:18:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"S/4fPewGO7MyL0fo57FjNVosB8xSj/XIvTzZWhFEyl5NvLVu4e1HoeaDMauJIt79XOpOJOf095F+LL9r5oQwCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T15:14:23.787650Z"},"content_sha256":"c5339933d9d06ee3983edfae9096275fba3f06824b87a1b359e62341f53154dd","schema_version":"1.0","event_id":"sha256:c5339933d9d06ee3983edfae9096275fba3f06824b87a1b359e62341f53154dd"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:MPOYDEPLASJDG23KSOUSZTO7A2","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Stream Runtime Monitoring on UAS","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.SE","authors_text":"Bernd Finkbeiner, Christoph Torens, Florian-Michael Adolf, Peter Faymonville, Sebastian Schirmer","submitted_at":"2018-03-29T16:55:28Z","abstract_excerpt":"Unmanned Aircraft Systems (UAS) with autonomous decision-making capabilities are of increasing interest for a wide area of applications such as logistics and disaster recovery. In order to ensure the correct behavior of the system and to recognize hazardous situations or system faults, we applied stream runtime monitoring techniques within the DLR ARTIS (Autonomous Research Testbed for Intelligent System) family of unmanned aircraft. We present our experience from specification elicitation, instrumentation, offline log-file analysis, and online monitoring on the flight computer on a test rig. "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.04487","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-18T00:18:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LNxR8Faup1gHjYg/RoA7xWb/DuMBKDy/dNbrPPyo0nI8GwguaXzbSIXXELOn+Bo5zN5OmtEMjI3Nu8Yi2WUbBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T15:14:23.787995Z"},"content_sha256":"e29cc54e702980da06406dcc4c8e22f63727bd05b46238f9becb363e7eba2066","schema_version":"1.0","event_id":"sha256:e29cc54e702980da06406dcc4c8e22f63727bd05b46238f9becb363e7eba2066"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MPOYDEPLASJDG23KSOUSZTO7A2/bundle.json","state_url":"https://pith.science/pith/MPOYDEPLASJDG23KSOUSZTO7A2/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MPOYDEPLASJDG23KSOUSZTO7A2/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-29T15:14:23Z","links":{"resolver":"https://pith.science/pith/MPOYDEPLASJDG23KSOUSZTO7A2","bundle":"https://pith.science/pith/MPOYDEPLASJDG23KSOUSZTO7A2/bundle.json","state":"https://pith.science/pith/MPOYDEPLASJDG23KSOUSZTO7A2/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MPOYDEPLASJDG23KSOUSZTO7A2/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:MPOYDEPLASJDG23KSOUSZTO7A2","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":"ec5b96045f66c4110341f204230728858a9999bc702374e16ef8677017a09a38","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-03-29T16:55:28Z","title_canon_sha256":"a706e18aee81671c4b962acde809830a0b3520bcbd89a9d0abfb487b2f264ad5"},"schema_version":"1.0","source":{"id":"1804.04487","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.04487","created_at":"2026-05-18T00:18:37Z"},{"alias_kind":"arxiv_version","alias_value":"1804.04487v1","created_at":"2026-05-18T00:18:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.04487","created_at":"2026-05-18T00:18:37Z"},{"alias_kind":"pith_short_12","alias_value":"MPOYDEPLASJD","created_at":"2026-05-18T12:32:40Z"},{"alias_kind":"pith_short_16","alias_value":"MPOYDEPLASJDG23K","created_at":"2026-05-18T12:32:40Z"},{"alias_kind":"pith_short_8","alias_value":"MPOYDEPL","created_at":"2026-05-18T12:32:40Z"}],"graph_snapshots":[{"event_id":"sha256:e29cc54e702980da06406dcc4c8e22f63727bd05b46238f9becb363e7eba2066","target":"graph","created_at":"2026-05-18T00:18:37Z","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":"Unmanned Aircraft Systems (UAS) with autonomous decision-making capabilities are of increasing interest for a wide area of applications such as logistics and disaster recovery. In order to ensure the correct behavior of the system and to recognize hazardous situations or system faults, we applied stream runtime monitoring techniques within the DLR ARTIS (Autonomous Research Testbed for Intelligent System) family of unmanned aircraft. We present our experience from specification elicitation, instrumentation, offline log-file analysis, and online monitoring on the flight computer on a test rig. ","authors_text":"Bernd Finkbeiner, Christoph Torens, Florian-Michael Adolf, Peter Faymonville, Sebastian Schirmer","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-03-29T16:55:28Z","title":"Stream Runtime Monitoring on UAS"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.04487","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:c5339933d9d06ee3983edfae9096275fba3f06824b87a1b359e62341f53154dd","target":"record","created_at":"2026-05-18T00:18:37Z","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":"ec5b96045f66c4110341f204230728858a9999bc702374e16ef8677017a09a38","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-03-29T16:55:28Z","title_canon_sha256":"a706e18aee81671c4b962acde809830a0b3520bcbd89a9d0abfb487b2f264ad5"},"schema_version":"1.0","source":{"id":"1804.04487","kind":"arxiv","version":1}},"canonical_sha256":"63dd8191eb0492336b6a93a92ccddf068b643adfcb3fa6df9a9846cefb086c77","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"63dd8191eb0492336b6a93a92ccddf068b643adfcb3fa6df9a9846cefb086c77","first_computed_at":"2026-05-18T00:18:37.406974Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:18:37.406974Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"89+MwfrPBAJYzY0p76IgXWrCgDaddqUtf9MOAPyzj+/kP2N0bAu5R+rTwKxI4rWriHW4LkHDKxQcE8tRZ0dnCA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:18:37.407510Z","signed_message":"canonical_sha256_bytes"},"source_id":"1804.04487","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c5339933d9d06ee3983edfae9096275fba3f06824b87a1b359e62341f53154dd","sha256:e29cc54e702980da06406dcc4c8e22f63727bd05b46238f9becb363e7eba2066"],"state_sha256":"e963cb0ea6140be999734b4678e5f820cbccf357cbabd51a67dba38bd914e0c1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RCx074GeMibyB7K6XwrSv+nUJzloXqIPmbITOXtT7Ll5eeY16t4jLyx8lpqsXJg2tJaoqfGVafgNeY+tHntGCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-29T15:14:23.790395Z","bundle_sha256":"fd71b2e2fb6351f59b17c3b1fe7e6511a568b7244d39f32ac970a4e4c5d538b4"}}