{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2007:FSPCUFPWIWFFE5FEPFMDOHFZHF","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":"e4b6570fac850568c1e790b1da3a66803ffa13d1492680ed37953d3ce50cc512","cross_cats_sorted":["cs.DM"],"license":"","primary_cat":"cs.LO","submitted_at":"2007-06-18T11:50:16Z","title_canon_sha256":"f01c1dc1df734cf765c99c7dc211b805cbf5dab7bc9368e3759e0e47efe444cf"},"schema_version":"1.0","source":{"id":"0706.2585","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0706.2585","created_at":"2026-05-18T01:37:42Z"},{"alias_kind":"arxiv_version","alias_value":"0706.2585v2","created_at":"2026-05-18T01:37:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0706.2585","created_at":"2026-05-18T01:37:42Z"},{"alias_kind":"pith_short_12","alias_value":"FSPCUFPWIWFF","created_at":"2026-05-18T12:25:55Z"},{"alias_kind":"pith_short_16","alias_value":"FSPCUFPWIWFFE5FE","created_at":"2026-05-18T12:25:55Z"},{"alias_kind":"pith_short_8","alias_value":"FSPCUFPW","created_at":"2026-05-18T12:25:55Z"}],"graph_snapshots":[{"event_id":"sha256:9925bea4cd296ed212cc11ad38632c13292f4095256df1fb4a068ddde10a90c8","target":"graph","created_at":"2026-05-18T01:37:42Z","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 consider qualitative and quantitative verification problems for infinite-state Markov chains. We call a Markov chain decisive w.r.t. a given set of target states F if it almost certainly eventually reaches either F or a state from which F can no longer be reached. While all finite Markov chains are trivially decisive (for every set F), this also holds for many classes of infinite Markov chains. Infinite Markov chains which contain a finite attractor are decisive w.r.t. every set F. In particular, this holds for probabilistic lossy channel systems (PLCS). Furthermore, all globally coarse Mar","authors_text":"Noomene Ben Henda, Parosh Aziz Abdulla, Richard Mayr","cross_cats":["cs.DM"],"headline":"","license":"","primary_cat":"cs.LO","submitted_at":"2007-06-18T11:50:16Z","title":"Decisive Markov Chains"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0706.2585","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:858783f672e4d9187b3b55292be735de3650c81a8941b09207b40c6f1b8d28d3","target":"record","created_at":"2026-05-18T01:37:42Z","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":"e4b6570fac850568c1e790b1da3a66803ffa13d1492680ed37953d3ce50cc512","cross_cats_sorted":["cs.DM"],"license":"","primary_cat":"cs.LO","submitted_at":"2007-06-18T11:50:16Z","title_canon_sha256":"f01c1dc1df734cf765c99c7dc211b805cbf5dab7bc9368e3759e0e47efe444cf"},"schema_version":"1.0","source":{"id":"0706.2585","kind":"arxiv","version":2}},"canonical_sha256":"2c9e2a15f6458a5274a47958371cb93951d7c6dcf7fa4db2420058cbc5334dde","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2c9e2a15f6458a5274a47958371cb93951d7c6dcf7fa4db2420058cbc5334dde","first_computed_at":"2026-05-18T01:37:42.725014Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:37:42.725014Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"8NpvU+MpEgDmqoORdGW9Khigr9uozFgGNFPUBLbqNGBOOHuj9v+zMEU3BFTM7fZC0LdAYuxSgEFCcORgqT/rBA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:37:42.725723Z","signed_message":"canonical_sha256_bytes"},"source_id":"0706.2585","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:858783f672e4d9187b3b55292be735de3650c81a8941b09207b40c6f1b8d28d3","sha256:9925bea4cd296ed212cc11ad38632c13292f4095256df1fb4a068ddde10a90c8"],"state_sha256":"969365ef00815d0119f0379a6a0e0b9f71e23017768311373361c7fe7ccc6e1d"}