{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:VNZ2UXGLNVY3DPYP233Z4YMCXX","short_pith_number":"pith:VNZ2UXGL","canonical_record":{"source":{"id":"1612.02684","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2016-12-08T15:07:57Z","cross_cats_sorted":["cs.AI","cs.LO"],"title_canon_sha256":"0c64198d7b33ad8d368f7c423396957cadeeee6f9280316661948fc4062b95a3","abstract_canon_sha256":"a45e7dcf5c7fb817cf41a6e7a89819249eb82dce5616ec253f97f7cb505e6c8a"},"schema_version":"1.0"},"canonical_sha256":"ab73aa5ccb6d71b1bf0fd6f79e6182bdea5ca06df3141a3621a0d2cccd01851e","source":{"kind":"arxiv","id":"1612.02684","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1612.02684","created_at":"2026-05-18T00:48:53Z"},{"alias_kind":"arxiv_version","alias_value":"1612.02684v3","created_at":"2026-05-18T00:48:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1612.02684","created_at":"2026-05-18T00:48:53Z"},{"alias_kind":"pith_short_12","alias_value":"VNZ2UXGLNVY3","created_at":"2026-05-18T12:30:48Z"},{"alias_kind":"pith_short_16","alias_value":"VNZ2UXGLNVY3DPYP","created_at":"2026-05-18T12:30:48Z"},{"alias_kind":"pith_short_8","alias_value":"VNZ2UXGL","created_at":"2026-05-18T12:30:48Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:VNZ2UXGLNVY3DPYP233Z4YMCXX","target":"record","payload":{"canonical_record":{"source":{"id":"1612.02684","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2016-12-08T15:07:57Z","cross_cats_sorted":["cs.AI","cs.LO"],"title_canon_sha256":"0c64198d7b33ad8d368f7c423396957cadeeee6f9280316661948fc4062b95a3","abstract_canon_sha256":"a45e7dcf5c7fb817cf41a6e7a89819249eb82dce5616ec253f97f7cb505e6c8a"},"schema_version":"1.0"},"canonical_sha256":"ab73aa5ccb6d71b1bf0fd6f79e6182bdea5ca06df3141a3621a0d2cccd01851e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:48:53.613552Z","signature_b64":"QKoIktZ7PybvMgTHdompF3dpeucBawQJwzKL1bhCVLXRgQCSlukTXzZkb+1Pq3CfijiSOm+10xnkjd1489DpCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ab73aa5ccb6d71b1bf0fd6f79e6182bdea5ca06df3141a3621a0d2cccd01851e","last_reissued_at":"2026-05-18T00:48:53.612800Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:48:53.612800Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1612.02684","source_version":3,"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-18T00:48:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GbaPQOV8YT28jUSUqprECqtqy8O09mv3FCx91jaBAxn0QSLPfRS3+LJZ3JbzK7vn/UmMsopqgqYxgfaEsIr7DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T20:09:30.796152Z"},"content_sha256":"ce1e332d084ebb3177a5b0443f87fc6e8b5ab857265e2901b29c2f378d913a32","schema_version":"1.0","event_id":"sha256:ce1e332d084ebb3177a5b0443f87fc6e8b5ab857265e2901b29c2f378d913a32"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:VNZ2UXGLNVY3DPYP233Z4YMCXX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Fixpoint Approximation of Strategic Abilities under Imperfect Information","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.LO"],"primary_cat":"cs.MA","authors_text":"Damian Kurpiewski, Micha{\\l} Knapik, Wojciech Jamroga","submitted_at":"2016-12-08T15:07:57Z","abstract_excerpt":"Model checking of strategic ability under imperfect information is known to be hard. The complexity results range from NP-completeness to undecidability, depending on the precise setup of the problem. No less importantly, fixpoint equivalences do not generally hold for imperfect information strategies, which seriously hampers incremental synthesis of winning strategies. In this paper, we propose translations of ATLir formulae that provide lower and upper bounds for their truth values, and are cheaper to verify than the original specifications. That is, if the expression is verified as true the"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1612.02684","kind":"arxiv","version":3},"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-18T00:48:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1yXr7oTm27uswNK0+jw1yP5AHE8sBmOCPkEDS9acgLOfPF7NwzA+bKf5lXhLCQ8DWKomGEnpVOLbNqTgsfXHBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T20:09:30.796857Z"},"content_sha256":"0ec0890d36b1b76e28fdecf66c3d571f959bb1c25c7123c99f14fff3bb82a251","schema_version":"1.0","event_id":"sha256:0ec0890d36b1b76e28fdecf66c3d571f959bb1c25c7123c99f14fff3bb82a251"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VNZ2UXGLNVY3DPYP233Z4YMCXX/bundle.json","state_url":"https://pith.science/pith/VNZ2UXGLNVY3DPYP233Z4YMCXX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VNZ2UXGLNVY3DPYP233Z4YMCXX/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-05-28T20:09:30Z","links":{"resolver":"https://pith.science/pith/VNZ2UXGLNVY3DPYP233Z4YMCXX","bundle":"https://pith.science/pith/VNZ2UXGLNVY3DPYP233Z4YMCXX/bundle.json","state":"https://pith.science/pith/VNZ2UXGLNVY3DPYP233Z4YMCXX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VNZ2UXGLNVY3DPYP233Z4YMCXX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:VNZ2UXGLNVY3DPYP233Z4YMCXX","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":"a45e7dcf5c7fb817cf41a6e7a89819249eb82dce5616ec253f97f7cb505e6c8a","cross_cats_sorted":["cs.AI","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2016-12-08T15:07:57Z","title_canon_sha256":"0c64198d7b33ad8d368f7c423396957cadeeee6f9280316661948fc4062b95a3"},"schema_version":"1.0","source":{"id":"1612.02684","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1612.02684","created_at":"2026-05-18T00:48:53Z"},{"alias_kind":"arxiv_version","alias_value":"1612.02684v3","created_at":"2026-05-18T00:48:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1612.02684","created_at":"2026-05-18T00:48:53Z"},{"alias_kind":"pith_short_12","alias_value":"VNZ2UXGLNVY3","created_at":"2026-05-18T12:30:48Z"},{"alias_kind":"pith_short_16","alias_value":"VNZ2UXGLNVY3DPYP","created_at":"2026-05-18T12:30:48Z"},{"alias_kind":"pith_short_8","alias_value":"VNZ2UXGL","created_at":"2026-05-18T12:30:48Z"}],"graph_snapshots":[{"event_id":"sha256:0ec0890d36b1b76e28fdecf66c3d571f959bb1c25c7123c99f14fff3bb82a251","target":"graph","created_at":"2026-05-18T00:48:53Z","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":"Model checking of strategic ability under imperfect information is known to be hard. The complexity results range from NP-completeness to undecidability, depending on the precise setup of the problem. No less importantly, fixpoint equivalences do not generally hold for imperfect information strategies, which seriously hampers incremental synthesis of winning strategies. In this paper, we propose translations of ATLir formulae that provide lower and upper bounds for their truth values, and are cheaper to verify than the original specifications. That is, if the expression is verified as true the","authors_text":"Damian Kurpiewski, Micha{\\l} Knapik, Wojciech Jamroga","cross_cats":["cs.AI","cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2016-12-08T15:07:57Z","title":"Fixpoint Approximation of Strategic Abilities under Imperfect Information"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1612.02684","kind":"arxiv","version":3},"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:ce1e332d084ebb3177a5b0443f87fc6e8b5ab857265e2901b29c2f378d913a32","target":"record","created_at":"2026-05-18T00:48:53Z","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":"a45e7dcf5c7fb817cf41a6e7a89819249eb82dce5616ec253f97f7cb505e6c8a","cross_cats_sorted":["cs.AI","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2016-12-08T15:07:57Z","title_canon_sha256":"0c64198d7b33ad8d368f7c423396957cadeeee6f9280316661948fc4062b95a3"},"schema_version":"1.0","source":{"id":"1612.02684","kind":"arxiv","version":3}},"canonical_sha256":"ab73aa5ccb6d71b1bf0fd6f79e6182bdea5ca06df3141a3621a0d2cccd01851e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ab73aa5ccb6d71b1bf0fd6f79e6182bdea5ca06df3141a3621a0d2cccd01851e","first_computed_at":"2026-05-18T00:48:53.612800Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:48:53.612800Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"QKoIktZ7PybvMgTHdompF3dpeucBawQJwzKL1bhCVLXRgQCSlukTXzZkb+1Pq3CfijiSOm+10xnkjd1489DpCw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:48:53.613552Z","signed_message":"canonical_sha256_bytes"},"source_id":"1612.02684","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ce1e332d084ebb3177a5b0443f87fc6e8b5ab857265e2901b29c2f378d913a32","sha256:0ec0890d36b1b76e28fdecf66c3d571f959bb1c25c7123c99f14fff3bb82a251"],"state_sha256":"ad1dc49742cd1abc718cc449e6681e102ac166ca1e47041bdba213cb58b4080f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NBhOoLhY29S8/NNIHqX8VhdvpKTJ8luenfvGdWWuLuYmHjIE7SCYZ4JSHw0YDxbmVwUKqyDVnA8Vnh40ZSfaAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T20:09:30.799289Z","bundle_sha256":"41157f689c61f71a3993d8b51bd1b07a0d738abfe8ab094c955a335c5d7fc34e"}}