{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:7MXY6UOBAZ6KK47B7JIEVV5N7K","short_pith_number":"pith:7MXY6UOB","canonical_record":{"source":{"id":"1908.11779","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2019-08-21T20:57:27Z","cross_cats_sorted":["cs.AI","cs.CR"],"title_canon_sha256":"8bcc882a038f20ee8a8c713062d979b91772d1ceb0d5308c27bab853c1d431fe","abstract_canon_sha256":"f22e23afacb72f7092e3d11f1a24e07c79dc7bf75568bfa8e899625f43bfcf8a"},"schema_version":"1.0"},"canonical_sha256":"fb2f8f51c1067ca573e1fa504ad7adfabfd913bdd9d2d4d054d8fa6265c19574","source":{"kind":"arxiv","id":"1908.11779","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1908.11779","created_at":"2026-07-05T00:00:45Z"},{"alias_kind":"arxiv_version","alias_value":"1908.11779v1","created_at":"2026-07-05T00:00:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1908.11779","created_at":"2026-07-05T00:00:45Z"},{"alias_kind":"pith_short_12","alias_value":"7MXY6UOBAZ6K","created_at":"2026-07-05T00:00:45Z"},{"alias_kind":"pith_short_16","alias_value":"7MXY6UOBAZ6KK47B","created_at":"2026-07-05T00:00:45Z"},{"alias_kind":"pith_short_8","alias_value":"7MXY6UOB","created_at":"2026-07-05T00:00:45Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:7MXY6UOBAZ6KK47B7JIEVV5N7K","target":"record","payload":{"canonical_record":{"source":{"id":"1908.11779","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2019-08-21T20:57:27Z","cross_cats_sorted":["cs.AI","cs.CR"],"title_canon_sha256":"8bcc882a038f20ee8a8c713062d979b91772d1ceb0d5308c27bab853c1d431fe","abstract_canon_sha256":"f22e23afacb72f7092e3d11f1a24e07c79dc7bf75568bfa8e899625f43bfcf8a"},"schema_version":"1.0"},"canonical_sha256":"fb2f8f51c1067ca573e1fa504ad7adfabfd913bdd9d2d4d054d8fa6265c19574","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T00:00:45.467790Z","signature_b64":"OE1vRZnjcET7VAL9Z/eYWAmbDO32VCVQZJxbvet1oZYeBSzhLzAMtPPz6f1mBQPAY/2f7n0DMU81FnrHRxgLDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fb2f8f51c1067ca573e1fa504ad7adfabfd913bdd9d2d4d054d8fa6265c19574","last_reissued_at":"2026-07-05T00:00:45.467167Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T00:00:45.467167Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1908.11779","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-05T00:00:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7T+sfJgWez6QnSSvlYiRdVN3SXmGjOGRVb+kPMiI6UGS4WTEggaouaoExF/FNOxROlOaCW6hCO68gWyB1LcFAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T05:54:02.002386Z"},"content_sha256":"c58e88867c204eebb8e535e27e5d434fa6712657abd04a69b4f00a76bb858cf6","schema_version":"1.0","event_id":"sha256:c58e88867c204eebb8e535e27e5d434fa6712657abd04a69b4f00a76bb858cf6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:7MXY6UOBAZ6KK47B7JIEVV5N7K","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.CR"],"primary_cat":"cs.DC","authors_text":"Astrid Nie{\\ss}e, Eric M.S.P. Veith, Lars Fischer, Martin Tr\\\"oschel","submitted_at":"2019-08-21T20:57:27Z","abstract_excerpt":"Principles of modern cyber-physical system (CPS) analysis are based on analytical methods that depend on whether safety or liveness requirements are considered. Complexity is abstracted through different techniques, ranging from stochastic modelling to contracts. However, both distributed heuristics and Artificial Intelligence (AI)-based approaches as well as the user perspective or unpredictable effects, such as accidents or the weather, introduce enough uncertainty to warrant reinforcement-learning-based approaches. This paper compares traditional approaches in the domain of CPS modelling an"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1908.11779","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/1908.11779/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-05T00:00:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"78arVQ7q9FTTnCcITOJURAhLEP3284TiwLKn/3snRWGHKGsGNWWNGuW4LC7IUhj/tHME4x9hBwA28Hvw10LRAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T05:54:02.002921Z"},"content_sha256":"3df4f6453864b5085cc617faa5525cfd1f7880a2be20864f2c80089fc1890651","schema_version":"1.0","event_id":"sha256:3df4f6453864b5085cc617faa5525cfd1f7880a2be20864f2c80089fc1890651"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7MXY6UOBAZ6KK47B7JIEVV5N7K/bundle.json","state_url":"https://pith.science/pith/7MXY6UOBAZ6KK47B7JIEVV5N7K/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7MXY6UOBAZ6KK47B7JIEVV5N7K/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-16T05:54:02Z","links":{"resolver":"https://pith.science/pith/7MXY6UOBAZ6KK47B7JIEVV5N7K","bundle":"https://pith.science/pith/7MXY6UOBAZ6KK47B7JIEVV5N7K/bundle.json","state":"https://pith.science/pith/7MXY6UOBAZ6KK47B7JIEVV5N7K/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7MXY6UOBAZ6KK47B7JIEVV5N7K/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:7MXY6UOBAZ6KK47B7JIEVV5N7K","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":"f22e23afacb72f7092e3d11f1a24e07c79dc7bf75568bfa8e899625f43bfcf8a","cross_cats_sorted":["cs.AI","cs.CR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2019-08-21T20:57:27Z","title_canon_sha256":"8bcc882a038f20ee8a8c713062d979b91772d1ceb0d5308c27bab853c1d431fe"},"schema_version":"1.0","source":{"id":"1908.11779","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1908.11779","created_at":"2026-07-05T00:00:45Z"},{"alias_kind":"arxiv_version","alias_value":"1908.11779v1","created_at":"2026-07-05T00:00:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1908.11779","created_at":"2026-07-05T00:00:45Z"},{"alias_kind":"pith_short_12","alias_value":"7MXY6UOBAZ6K","created_at":"2026-07-05T00:00:45Z"},{"alias_kind":"pith_short_16","alias_value":"7MXY6UOBAZ6KK47B","created_at":"2026-07-05T00:00:45Z"},{"alias_kind":"pith_short_8","alias_value":"7MXY6UOB","created_at":"2026-07-05T00:00:45Z"}],"graph_snapshots":[{"event_id":"sha256:3df4f6453864b5085cc617faa5525cfd1f7880a2be20864f2c80089fc1890651","target":"graph","created_at":"2026-07-05T00:00:45Z","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/1908.11779/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Principles of modern cyber-physical system (CPS) analysis are based on analytical methods that depend on whether safety or liveness requirements are considered. Complexity is abstracted through different techniques, ranging from stochastic modelling to contracts. However, both distributed heuristics and Artificial Intelligence (AI)-based approaches as well as the user perspective or unpredictable effects, such as accidents or the weather, introduce enough uncertainty to warrant reinforcement-learning-based approaches. This paper compares traditional approaches in the domain of CPS modelling an","authors_text":"Astrid Nie{\\ss}e, Eric M.S.P. Veith, Lars Fischer, Martin Tr\\\"oschel","cross_cats":["cs.AI","cs.CR"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1908.11779","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:c58e88867c204eebb8e535e27e5d434fa6712657abd04a69b4f00a76bb858cf6","target":"record","created_at":"2026-07-05T00:00:45Z","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":"f22e23afacb72f7092e3d11f1a24e07c79dc7bf75568bfa8e899625f43bfcf8a","cross_cats_sorted":["cs.AI","cs.CR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2019-08-21T20:57:27Z","title_canon_sha256":"8bcc882a038f20ee8a8c713062d979b91772d1ceb0d5308c27bab853c1d431fe"},"schema_version":"1.0","source":{"id":"1908.11779","kind":"arxiv","version":1}},"canonical_sha256":"fb2f8f51c1067ca573e1fa504ad7adfabfd913bdd9d2d4d054d8fa6265c19574","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fb2f8f51c1067ca573e1fa504ad7adfabfd913bdd9d2d4d054d8fa6265c19574","first_computed_at":"2026-07-05T00:00:45.467167Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T00:00:45.467167Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"OE1vRZnjcET7VAL9Z/eYWAmbDO32VCVQZJxbvet1oZYeBSzhLzAMtPPz6f1mBQPAY/2f7n0DMU81FnrHRxgLDg==","signature_status":"signed_v1","signed_at":"2026-07-05T00:00:45.467790Z","signed_message":"canonical_sha256_bytes"},"source_id":"1908.11779","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c58e88867c204eebb8e535e27e5d434fa6712657abd04a69b4f00a76bb858cf6","sha256:3df4f6453864b5085cc617faa5525cfd1f7880a2be20864f2c80089fc1890651"],"state_sha256":"776e7afb129bbb797e6dee1fb0de6fd1b1f8c8d0d5d11e3818811bb5dfdcf528"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"T8lYOtvI2JnR1rD65TrpO+TZjkrJrQJpLc/1YIpVQhskixUQ3dy+UbDBQpH5Hj52O4yxQaSlWZDRpasyNnB4Bg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-16T05:54:02.010030Z","bundle_sha256":"d17b465e6f34caf05a83d5a5d15a425cc720be2a28b3252a9dfb40e9c135b5e5"}}