{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:3M6SKZRZCRG4ET7DG2C6BRKMLR","short_pith_number":"pith:3M6SKZRZ","canonical_record":{"source":{"id":"1512.08824","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2015-12-30T01:19:12Z","cross_cats_sorted":[],"title_canon_sha256":"d86cf68d29600b5d0ff1a5cfd06f5b2333905f426def858cf2a4c82b8ff69785","abstract_canon_sha256":"cd113fa4f00f5cf1a086bfcb7704fd3c7e3252c551b132ee2118bfa0d2821a86"},"schema_version":"1.0"},"canonical_sha256":"db3d256639144dc24fe33685e0c54c5c44943874bc341b5f30248fd43be6abc4","source":{"kind":"arxiv","id":"1512.08824","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1512.08824","created_at":"2026-05-18T01:22:57Z"},{"alias_kind":"arxiv_version","alias_value":"1512.08824v2","created_at":"2026-05-18T01:22:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1512.08824","created_at":"2026-05-18T01:22:57Z"},{"alias_kind":"pith_short_12","alias_value":"3M6SKZRZCRG4","created_at":"2026-05-18T12:29:02Z"},{"alias_kind":"pith_short_16","alias_value":"3M6SKZRZCRG4ET7D","created_at":"2026-05-18T12:29:02Z"},{"alias_kind":"pith_short_8","alias_value":"3M6SKZRZ","created_at":"2026-05-18T12:29:02Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:3M6SKZRZCRG4ET7DG2C6BRKMLR","target":"record","payload":{"canonical_record":{"source":{"id":"1512.08824","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2015-12-30T01:19:12Z","cross_cats_sorted":[],"title_canon_sha256":"d86cf68d29600b5d0ff1a5cfd06f5b2333905f426def858cf2a4c82b8ff69785","abstract_canon_sha256":"cd113fa4f00f5cf1a086bfcb7704fd3c7e3252c551b132ee2118bfa0d2821a86"},"schema_version":"1.0"},"canonical_sha256":"db3d256639144dc24fe33685e0c54c5c44943874bc341b5f30248fd43be6abc4","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:22:57.196698Z","signature_b64":"vvdKqZ8sLKypeuwQwqzNY0QFOda6r37nQWCPb6PsmlVPBPjqbyh/EmAni/6zbihjVlig6U5nEpW78l+x57RLBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"db3d256639144dc24fe33685e0c54c5c44943874bc341b5f30248fd43be6abc4","last_reissued_at":"2026-05-18T01:22:57.196051Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:22:57.196051Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1512.08824","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-18T01:22:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zsP8mZRLZimn0eJsgiMw1OlYFfLnunGPc1KcMLsXQMNiy4sMKndaX83w21QMXwXIU/irckwPi0km8WD1/93QDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-22T03:47:59.568640Z"},"content_sha256":"a8c5725f23831d94d616d7f68f662a5799ce79a133836c3f8e359cb1fb843d3e","schema_version":"1.0","event_id":"sha256:a8c5725f23831d94d616d7f68f662a5799ce79a133836c3f8e359cb1fb843d3e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:3M6SKZRZCRG4ET7DG2C6BRKMLR","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Qualitative Analysis of VASS-Induced MDPs","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Arnaud Sangnier, Jeremy Sproston, Parosh Aziz Abdulla, Radu Ciobanu, Richard Mayr","submitted_at":"2015-12-30T01:19:12Z","abstract_excerpt":"We consider infinite-state Markov decision processes (MDPs) that are induced by extensions of vector addition systems with states (VASS). Verification conditions for these MDPs are described by reachability and Buchi objectives w.r.t. given sets of control-states. We study the decidability of some qualitative versions of these objectives, i.e., the decidability of whether such objectives can be achieved surely, almost-surely, or limit-surely. While most such problems are undecidable in general, some are decidable for large subclasses in which either only the controller or only the random envir"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1512.08824","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-18T01:22:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"USxwhWr9gWAypGSvQX1o79sV9gkyqdaPtfd+hj02PK+UvxzGKt7kWngan3BUD4SajecEcURkKc07JTifbwyxDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-22T03:47:59.569034Z"},"content_sha256":"33eee9b5610f61ca4ea9a33e4d65377f60aa9364294cac2eccbd076339d7be3a","schema_version":"1.0","event_id":"sha256:33eee9b5610f61ca4ea9a33e4d65377f60aa9364294cac2eccbd076339d7be3a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3M6SKZRZCRG4ET7DG2C6BRKMLR/bundle.json","state_url":"https://pith.science/pith/3M6SKZRZCRG4ET7DG2C6BRKMLR/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3M6SKZRZCRG4ET7DG2C6BRKMLR/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-22T03:47:59Z","links":{"resolver":"https://pith.science/pith/3M6SKZRZCRG4ET7DG2C6BRKMLR","bundle":"https://pith.science/pith/3M6SKZRZCRG4ET7DG2C6BRKMLR/bundle.json","state":"https://pith.science/pith/3M6SKZRZCRG4ET7DG2C6BRKMLR/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3M6SKZRZCRG4ET7DG2C6BRKMLR/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:3M6SKZRZCRG4ET7DG2C6BRKMLR","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":"cd113fa4f00f5cf1a086bfcb7704fd3c7e3252c551b132ee2118bfa0d2821a86","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2015-12-30T01:19:12Z","title_canon_sha256":"d86cf68d29600b5d0ff1a5cfd06f5b2333905f426def858cf2a4c82b8ff69785"},"schema_version":"1.0","source":{"id":"1512.08824","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1512.08824","created_at":"2026-05-18T01:22:57Z"},{"alias_kind":"arxiv_version","alias_value":"1512.08824v2","created_at":"2026-05-18T01:22:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1512.08824","created_at":"2026-05-18T01:22:57Z"},{"alias_kind":"pith_short_12","alias_value":"3M6SKZRZCRG4","created_at":"2026-05-18T12:29:02Z"},{"alias_kind":"pith_short_16","alias_value":"3M6SKZRZCRG4ET7D","created_at":"2026-05-18T12:29:02Z"},{"alias_kind":"pith_short_8","alias_value":"3M6SKZRZ","created_at":"2026-05-18T12:29:02Z"}],"graph_snapshots":[{"event_id":"sha256:33eee9b5610f61ca4ea9a33e4d65377f60aa9364294cac2eccbd076339d7be3a","target":"graph","created_at":"2026-05-18T01:22:57Z","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 infinite-state Markov decision processes (MDPs) that are induced by extensions of vector addition systems with states (VASS). Verification conditions for these MDPs are described by reachability and Buchi objectives w.r.t. given sets of control-states. We study the decidability of some qualitative versions of these objectives, i.e., the decidability of whether such objectives can be achieved surely, almost-surely, or limit-surely. While most such problems are undecidable in general, some are decidable for large subclasses in which either only the controller or only the random envir","authors_text":"Arnaud Sangnier, Jeremy Sproston, Parosh Aziz Abdulla, Radu Ciobanu, Richard Mayr","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2015-12-30T01:19:12Z","title":"Qualitative Analysis of VASS-Induced MDPs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1512.08824","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:a8c5725f23831d94d616d7f68f662a5799ce79a133836c3f8e359cb1fb843d3e","target":"record","created_at":"2026-05-18T01:22:57Z","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":"cd113fa4f00f5cf1a086bfcb7704fd3c7e3252c551b132ee2118bfa0d2821a86","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2015-12-30T01:19:12Z","title_canon_sha256":"d86cf68d29600b5d0ff1a5cfd06f5b2333905f426def858cf2a4c82b8ff69785"},"schema_version":"1.0","source":{"id":"1512.08824","kind":"arxiv","version":2}},"canonical_sha256":"db3d256639144dc24fe33685e0c54c5c44943874bc341b5f30248fd43be6abc4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"db3d256639144dc24fe33685e0c54c5c44943874bc341b5f30248fd43be6abc4","first_computed_at":"2026-05-18T01:22:57.196051Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:22:57.196051Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"vvdKqZ8sLKypeuwQwqzNY0QFOda6r37nQWCPb6PsmlVPBPjqbyh/EmAni/6zbihjVlig6U5nEpW78l+x57RLBA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:22:57.196698Z","signed_message":"canonical_sha256_bytes"},"source_id":"1512.08824","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a8c5725f23831d94d616d7f68f662a5799ce79a133836c3f8e359cb1fb843d3e","sha256:33eee9b5610f61ca4ea9a33e4d65377f60aa9364294cac2eccbd076339d7be3a"],"state_sha256":"4686913d26793a29a3fd54285ecaa0c4e3aefe178543c531521dfda4334d3b5b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HjujKoLIUxNY//O9JF8uLvpmwUOCjR7kCodd2vXvyDGVM45qk+30SaEC6n4hSGzl3/rsKcWN86MJt6vn/Q1aCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-22T03:47:59.571425Z","bundle_sha256":"d0bef77ff0626d5e9f3cabfff36ab0a5ed76d5847e2c02fe5af5bc07eb1caae4"}}