{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:ENV45MWU6ZEMS6KWO6HFJSIDOM","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":"82ad5a26c24fe487cd117afc871fc14fa98f4db175a16ec1fef10d103fa528f9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2015-07-02T10:38:21Z","title_canon_sha256":"41cd07a3c9443276d575f154b1da4f7e81dd7b48b1ea1efcf83fecde0a3bb99f"},"schema_version":"1.0","source":{"id":"1507.00509","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1507.00509","created_at":"2026-05-18T01:37:24Z"},{"alias_kind":"arxiv_version","alias_value":"1507.00509v1","created_at":"2026-05-18T01:37:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1507.00509","created_at":"2026-05-18T01:37:24Z"},{"alias_kind":"pith_short_12","alias_value":"ENV45MWU6ZEM","created_at":"2026-05-18T12:29:19Z"},{"alias_kind":"pith_short_16","alias_value":"ENV45MWU6ZEMS6KW","created_at":"2026-05-18T12:29:19Z"},{"alias_kind":"pith_short_8","alias_value":"ENV45MWU","created_at":"2026-05-18T12:29:19Z"}],"graph_snapshots":[{"event_id":"sha256:fb053e624f8a6090e4562e31c4ae1edfd7017ecbb33480be16c9523e4fb09d2b","target":"graph","created_at":"2026-05-18T01:37:24Z","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":"We study the problem of finite-horizon probabilistic invariance for discrete-time Markov processes over general (uncountable) state spaces. We compute discrete-time, finite-state Markov chains as formal abstractions of general Markov processes. Our abstraction differs from existing approaches in two ways. First, we exploit the structure of the underlying Markov process to compute the abstraction separately for each dimension. Second, we employ dynamic Bayesian networks (DBN) as compact representations of the abstraction. In contrast, existing approaches represent and store the (exponentially l","authors_text":"Alessandro Abate, Rupak Majumdar, Sadegh Esmaeil Zadeh Soudjani","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2015-07-02T10:38:21Z","title":"Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1507.00509","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:d7a5ad227cd04754aecb71790a18de8ed4134b3bd264a42faaa59bd70f732fe4","target":"record","created_at":"2026-05-18T01:37:24Z","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":"82ad5a26c24fe487cd117afc871fc14fa98f4db175a16ec1fef10d103fa528f9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2015-07-02T10:38:21Z","title_canon_sha256":"41cd07a3c9443276d575f154b1da4f7e81dd7b48b1ea1efcf83fecde0a3bb99f"},"schema_version":"1.0","source":{"id":"1507.00509","kind":"arxiv","version":1}},"canonical_sha256":"236bceb2d4f648c97956778e54c903731d3d8492e256b32eb3664c030e033dee","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"236bceb2d4f648c97956778e54c903731d3d8492e256b32eb3664c030e033dee","first_computed_at":"2026-05-18T01:37:24.485044Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:37:24.485044Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"02394j4piiXKC12FYNloqB6Lt8Kfh2lQvjmcMNBObOWjSnRyfAsVflvSmZo9mk+kbkWoXmq7QV7eosrC0BnzAA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:37:24.485778Z","signed_message":"canonical_sha256_bytes"},"source_id":"1507.00509","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d7a5ad227cd04754aecb71790a18de8ed4134b3bd264a42faaa59bd70f732fe4","sha256:fb053e624f8a6090e4562e31c4ae1edfd7017ecbb33480be16c9523e4fb09d2b"],"state_sha256":"d0a3dc89d78731d5252a4c8112fcedc722ac5ca94e92bdef798517ac57482cfb"}