{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:DDXQCM57OM4CMRHIBJQEHWE22U","short_pith_number":"pith:DDXQCM57","canonical_record":{"source":{"id":"1107.2132","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2011-07-11T20:19:26Z","cross_cats_sorted":[],"title_canon_sha256":"46f8ef880e504c213bab8c7d89d633b5cdd0589886ab4dcb83d05a8926c235cf","abstract_canon_sha256":"0d0ae722920cb6f66a73a15436af5db71ce0e1e9a01265bd5cf8fba0033160d0"},"schema_version":"1.0"},"canonical_sha256":"18ef0133bf73382644e80a6043d89ad524ff4269ed76ea1e1866aa0beff960fb","source":{"kind":"arxiv","id":"1107.2132","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1107.2132","created_at":"2026-05-18T04:18:32Z"},{"alias_kind":"arxiv_version","alias_value":"1107.2132v1","created_at":"2026-05-18T04:18:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1107.2132","created_at":"2026-05-18T04:18:32Z"},{"alias_kind":"pith_short_12","alias_value":"DDXQCM57OM4C","created_at":"2026-05-18T12:26:26Z"},{"alias_kind":"pith_short_16","alias_value":"DDXQCM57OM4CMRHI","created_at":"2026-05-18T12:26:26Z"},{"alias_kind":"pith_short_8","alias_value":"DDXQCM57","created_at":"2026-05-18T12:26:26Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:DDXQCM57OM4CMRHIBJQEHWE22U","target":"record","payload":{"canonical_record":{"source":{"id":"1107.2132","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2011-07-11T20:19:26Z","cross_cats_sorted":[],"title_canon_sha256":"46f8ef880e504c213bab8c7d89d633b5cdd0589886ab4dcb83d05a8926c235cf","abstract_canon_sha256":"0d0ae722920cb6f66a73a15436af5db71ce0e1e9a01265bd5cf8fba0033160d0"},"schema_version":"1.0"},"canonical_sha256":"18ef0133bf73382644e80a6043d89ad524ff4269ed76ea1e1866aa0beff960fb","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:18:32.845048Z","signature_b64":"Y21vMuLl+6RVvjBhBklA1FqGG+n2cASz1jBrSeReos2cKoNlRpGqdhtBNyTOUVf3hwDgWfaCp1VIuMNop8W1Cg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"18ef0133bf73382644e80a6043d89ad524ff4269ed76ea1e1866aa0beff960fb","last_reissued_at":"2026-05-18T04:18:32.844379Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:18:32.844379Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1107.2132","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-05-18T04: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":"7TvwZvb4jtJrW3M5abPolXCLBM/n4J/HT6sMOPdKhVT7YmzCN/zmXpQqfR8nlew1UWSG7LAYmFo6nM2S4wdZBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T19:12:18.062883Z"},"content_sha256":"468dc1642e011ad893c333e5f3e3c2feda95cf1f4d25d4c18a689af2ba91b333","schema_version":"1.0","event_id":"sha256:468dc1642e011ad893c333e5f3e3c2feda95cf1f4d25d4c18a689af2ba91b333"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:DDXQCM57OM4CMRHIBJQEHWE22U","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Magnifying Lens Abstraction for Stochastic Games with Discounted and Long-run Average Objectives","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.GT","authors_text":"Krishnendu Chatterjee, Luca de Alfaro, Pritam Roy","submitted_at":"2011-07-11T20:19:26Z","abstract_excerpt":"Turn-based stochastic games and its important subclass Markov decision processes (MDPs) provide models for systems with both probabilistic and nondeterministic behaviors. We consider turn-based stochastic games with two classical quantitative objectives: discounted-sum and long-run average objectives. The game models and the quantitative objectives are widely used in probabilistic verification, planning, optimal inventory control, network protocol and performance analysis. Games and MDPs that model realistic systems often have very large state spaces, and probabilistic abstraction techniques a"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1107.2132","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":""},"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-18T04: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":"s5jZBqKOjE3Iix6Aa44Mu6VN45ZgsQxVwlKZZfqP1TSZlrIHmNgiCpfwX6TUZBf/uDJsDh1i9DGnaoYjQ1uGAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T19:12:18.063233Z"},"content_sha256":"62430ea35ae7860d0a9c4b59aac64d3bef710750bdea242eef803ea776bb18d8","schema_version":"1.0","event_id":"sha256:62430ea35ae7860d0a9c4b59aac64d3bef710750bdea242eef803ea776bb18d8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DDXQCM57OM4CMRHIBJQEHWE22U/bundle.json","state_url":"https://pith.science/pith/DDXQCM57OM4CMRHIBJQEHWE22U/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DDXQCM57OM4CMRHIBJQEHWE22U/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-02T19:12:18Z","links":{"resolver":"https://pith.science/pith/DDXQCM57OM4CMRHIBJQEHWE22U","bundle":"https://pith.science/pith/DDXQCM57OM4CMRHIBJQEHWE22U/bundle.json","state":"https://pith.science/pith/DDXQCM57OM4CMRHIBJQEHWE22U/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DDXQCM57OM4CMRHIBJQEHWE22U/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:DDXQCM57OM4CMRHIBJQEHWE22U","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":"0d0ae722920cb6f66a73a15436af5db71ce0e1e9a01265bd5cf8fba0033160d0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2011-07-11T20:19:26Z","title_canon_sha256":"46f8ef880e504c213bab8c7d89d633b5cdd0589886ab4dcb83d05a8926c235cf"},"schema_version":"1.0","source":{"id":"1107.2132","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1107.2132","created_at":"2026-05-18T04:18:32Z"},{"alias_kind":"arxiv_version","alias_value":"1107.2132v1","created_at":"2026-05-18T04:18:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1107.2132","created_at":"2026-05-18T04:18:32Z"},{"alias_kind":"pith_short_12","alias_value":"DDXQCM57OM4C","created_at":"2026-05-18T12:26:26Z"},{"alias_kind":"pith_short_16","alias_value":"DDXQCM57OM4CMRHI","created_at":"2026-05-18T12:26:26Z"},{"alias_kind":"pith_short_8","alias_value":"DDXQCM57","created_at":"2026-05-18T12:26:26Z"}],"graph_snapshots":[{"event_id":"sha256:62430ea35ae7860d0a9c4b59aac64d3bef710750bdea242eef803ea776bb18d8","target":"graph","created_at":"2026-05-18T04: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":"Turn-based stochastic games and its important subclass Markov decision processes (MDPs) provide models for systems with both probabilistic and nondeterministic behaviors. We consider turn-based stochastic games with two classical quantitative objectives: discounted-sum and long-run average objectives. The game models and the quantitative objectives are widely used in probabilistic verification, planning, optimal inventory control, network protocol and performance analysis. Games and MDPs that model realistic systems often have very large state spaces, and probabilistic abstraction techniques a","authors_text":"Krishnendu Chatterjee, Luca de Alfaro, Pritam Roy","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2011-07-11T20:19:26Z","title":"Magnifying Lens Abstraction for Stochastic Games with Discounted and Long-run Average Objectives"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1107.2132","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:468dc1642e011ad893c333e5f3e3c2feda95cf1f4d25d4c18a689af2ba91b333","target":"record","created_at":"2026-05-18T04: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":"0d0ae722920cb6f66a73a15436af5db71ce0e1e9a01265bd5cf8fba0033160d0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2011-07-11T20:19:26Z","title_canon_sha256":"46f8ef880e504c213bab8c7d89d633b5cdd0589886ab4dcb83d05a8926c235cf"},"schema_version":"1.0","source":{"id":"1107.2132","kind":"arxiv","version":1}},"canonical_sha256":"18ef0133bf73382644e80a6043d89ad524ff4269ed76ea1e1866aa0beff960fb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"18ef0133bf73382644e80a6043d89ad524ff4269ed76ea1e1866aa0beff960fb","first_computed_at":"2026-05-18T04:18:32.844379Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:18:32.844379Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Y21vMuLl+6RVvjBhBklA1FqGG+n2cASz1jBrSeReos2cKoNlRpGqdhtBNyTOUVf3hwDgWfaCp1VIuMNop8W1Cg==","signature_status":"signed_v1","signed_at":"2026-05-18T04:18:32.845048Z","signed_message":"canonical_sha256_bytes"},"source_id":"1107.2132","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:468dc1642e011ad893c333e5f3e3c2feda95cf1f4d25d4c18a689af2ba91b333","sha256:62430ea35ae7860d0a9c4b59aac64d3bef710750bdea242eef803ea776bb18d8"],"state_sha256":"b200cc5ce96cba31c99c9d64d4841c7b358d0d5a78e3bf6617c1d7d88bf8d375"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"U4YjcyqTAYqNictEjv6IkJB/5BUJMxJ5FxlE5GQKaZyP57hk1OTNwd4VA0T48jjJHwtg/+oYImWr1JHOlWftDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T19:12:18.065369Z","bundle_sha256":"86dc0c2d9f207eaf004403a79cda249f751fec39c2e9ebad8fdec36dc8084b71"}}