{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:FBLTTYJ4QISRBOXNV3GVIWILOP","short_pith_number":"pith:FBLTTYJ4","canonical_record":{"source":{"id":"1411.0976","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2014-11-04T17:25:52Z","cross_cats_sorted":["cs.LO","q-bio.QM"],"title_canon_sha256":"728b2ab90f88fdc8019d86489ddb91e3a6361feb923b3ef4e152bba2438a43f3","abstract_canon_sha256":"faa8873fe2c3db3c65449a138fcd329c3e9f3bf00e9d5ed62f1b9a9af2dbb488"},"schema_version":"1.0"},"canonical_sha256":"285739e13c822510baedaecd54590b73f795ba615fd92196bb59fffa983776c8","source":{"kind":"arxiv","id":"1411.0976","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1411.0976","created_at":"2026-05-18T02:18:32Z"},{"alias_kind":"arxiv_version","alias_value":"1411.0976v2","created_at":"2026-05-18T02:18:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1411.0976","created_at":"2026-05-18T02:18:32Z"},{"alias_kind":"pith_short_12","alias_value":"FBLTTYJ4QISR","created_at":"2026-05-18T12:28:28Z"},{"alias_kind":"pith_short_16","alias_value":"FBLTTYJ4QISRBOXN","created_at":"2026-05-18T12:28:28Z"},{"alias_kind":"pith_short_8","alias_value":"FBLTTYJ4","created_at":"2026-05-18T12:28:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:FBLTTYJ4QISRBOXNV3GVIWILOP","target":"record","payload":{"canonical_record":{"source":{"id":"1411.0976","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2014-11-04T17:25:52Z","cross_cats_sorted":["cs.LO","q-bio.QM"],"title_canon_sha256":"728b2ab90f88fdc8019d86489ddb91e3a6361feb923b3ef4e152bba2438a43f3","abstract_canon_sha256":"faa8873fe2c3db3c65449a138fcd329c3e9f3bf00e9d5ed62f1b9a9af2dbb488"},"schema_version":"1.0"},"canonical_sha256":"285739e13c822510baedaecd54590b73f795ba615fd92196bb59fffa983776c8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:18:32.930694Z","signature_b64":"cINs89erQrg3wk5raX1l6B+iPGFJ33gvKJzUtYbFuYKQ4is6sPKMGnE1TqbN3FGtmsxMeOVXw7D6+kFQ02wfCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"285739e13c822510baedaecd54590b73f795ba615fd92196bb59fffa983776c8","last_reissued_at":"2026-05-18T02:18:32.930199Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:18:32.930199Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1411.0976","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-05-18T02:18:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TgQB6UgMoX9xCceF+ueUTHc/aAMwbU5+KGalyDpJtm5av7+sQ2TpwIfG61fvN6CuleaniBpuFNLDqbF3UE6uBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T15:42:07.111264Z"},"content_sha256":"7ff10c558b374038d7f65321c0e82828a693d0773a4291ba472805ba75c2316a","schema_version":"1.0","event_id":"sha256:7ff10c558b374038d7f65321c0e82828a693d0773a4291ba472805ba75c2316a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:FBLTTYJ4QISRBOXNV3GVIWILOP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Probabilistic verification of partially observable dynamical systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO","q-bio.QM"],"primary_cat":"cs.SY","authors_text":"Benjamin M. Gyori, Daniel Paulin, Sucheendra K. Palaniappan","submitted_at":"2014-11-04T17:25:52Z","abstract_excerpt":"The construction and formal verification of dynamical models is important in engineering, biology and other disciplines. We focus on non-linear models containing a set of parameters governing their dynamics. The value of these parameters is often unknown and not directly observable through measurements, which are themselves noisy. When treating parameters as random variables, one can constrain their distribution by conditioning on observations and thereby constructing a posterior probability distribution. We aim to perform model verification with respect to this posterior. The main difficulty "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1411.0976","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":""},"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-18T02:18:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"G/kKrFACfVAEwRRHR7NxYvaCupEjjj3PpXa+9G2vYAGn7PXKXywOXZaziP3eUVN98hejiZdplSydw33F9dYIDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T15:42:07.111629Z"},"content_sha256":"2bc5722f5999adb1474d1f23ed0d9c2932835456495ce3f3ba414492bab7d2ff","schema_version":"1.0","event_id":"sha256:2bc5722f5999adb1474d1f23ed0d9c2932835456495ce3f3ba414492bab7d2ff"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FBLTTYJ4QISRBOXNV3GVIWILOP/bundle.json","state_url":"https://pith.science/pith/FBLTTYJ4QISRBOXNV3GVIWILOP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FBLTTYJ4QISRBOXNV3GVIWILOP/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-25T15:42:07Z","links":{"resolver":"https://pith.science/pith/FBLTTYJ4QISRBOXNV3GVIWILOP","bundle":"https://pith.science/pith/FBLTTYJ4QISRBOXNV3GVIWILOP/bundle.json","state":"https://pith.science/pith/FBLTTYJ4QISRBOXNV3GVIWILOP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FBLTTYJ4QISRBOXNV3GVIWILOP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:FBLTTYJ4QISRBOXNV3GVIWILOP","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":"faa8873fe2c3db3c65449a138fcd329c3e9f3bf00e9d5ed62f1b9a9af2dbb488","cross_cats_sorted":["cs.LO","q-bio.QM"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2014-11-04T17:25:52Z","title_canon_sha256":"728b2ab90f88fdc8019d86489ddb91e3a6361feb923b3ef4e152bba2438a43f3"},"schema_version":"1.0","source":{"id":"1411.0976","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1411.0976","created_at":"2026-05-18T02:18:32Z"},{"alias_kind":"arxiv_version","alias_value":"1411.0976v2","created_at":"2026-05-18T02:18:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1411.0976","created_at":"2026-05-18T02:18:32Z"},{"alias_kind":"pith_short_12","alias_value":"FBLTTYJ4QISR","created_at":"2026-05-18T12:28:28Z"},{"alias_kind":"pith_short_16","alias_value":"FBLTTYJ4QISRBOXN","created_at":"2026-05-18T12:28:28Z"},{"alias_kind":"pith_short_8","alias_value":"FBLTTYJ4","created_at":"2026-05-18T12:28:28Z"}],"graph_snapshots":[{"event_id":"sha256:2bc5722f5999adb1474d1f23ed0d9c2932835456495ce3f3ba414492bab7d2ff","target":"graph","created_at":"2026-05-18T02:18:32Z","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":"The construction and formal verification of dynamical models is important in engineering, biology and other disciplines. We focus on non-linear models containing a set of parameters governing their dynamics. The value of these parameters is often unknown and not directly observable through measurements, which are themselves noisy. When treating parameters as random variables, one can constrain their distribution by conditioning on observations and thereby constructing a posterior probability distribution. We aim to perform model verification with respect to this posterior. The main difficulty ","authors_text":"Benjamin M. Gyori, Daniel Paulin, Sucheendra K. Palaniappan","cross_cats":["cs.LO","q-bio.QM"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2014-11-04T17:25:52Z","title":"Probabilistic verification of partially observable dynamical systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1411.0976","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:7ff10c558b374038d7f65321c0e82828a693d0773a4291ba472805ba75c2316a","target":"record","created_at":"2026-05-18T02:18:32Z","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":"faa8873fe2c3db3c65449a138fcd329c3e9f3bf00e9d5ed62f1b9a9af2dbb488","cross_cats_sorted":["cs.LO","q-bio.QM"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2014-11-04T17:25:52Z","title_canon_sha256":"728b2ab90f88fdc8019d86489ddb91e3a6361feb923b3ef4e152bba2438a43f3"},"schema_version":"1.0","source":{"id":"1411.0976","kind":"arxiv","version":2}},"canonical_sha256":"285739e13c822510baedaecd54590b73f795ba615fd92196bb59fffa983776c8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"285739e13c822510baedaecd54590b73f795ba615fd92196bb59fffa983776c8","first_computed_at":"2026-05-18T02:18:32.930199Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:18:32.930199Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"cINs89erQrg3wk5raX1l6B+iPGFJ33gvKJzUtYbFuYKQ4is6sPKMGnE1TqbN3FGtmsxMeOVXw7D6+kFQ02wfCg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:18:32.930694Z","signed_message":"canonical_sha256_bytes"},"source_id":"1411.0976","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7ff10c558b374038d7f65321c0e82828a693d0773a4291ba472805ba75c2316a","sha256:2bc5722f5999adb1474d1f23ed0d9c2932835456495ce3f3ba414492bab7d2ff"],"state_sha256":"cb189c04b41014ce9e82e95a7f5515f364e8df4b020e1949f0b6df2f1d0ced56"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tu3pFcSwrxhVNzc+xEAkLKep8hQfEanIUX4a3dxzUb3ve8K6s4w+IjzCrFID3dpsVVihV4FpDzMC4mCzNMxuCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-25T15:42:07.113555Z","bundle_sha256":"5951cee7e6db98d65088a82472eb5f42f82e06737000655aac991b17d86744e7"}}