{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:PJJZFY5RT5RELH3H44ELLH3VQH","short_pith_number":"pith:PJJZFY5R","canonical_record":{"source":{"id":"1510.06587","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2015-10-22T11:59:09Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"eac2a923f2081a9161110bfb29e6642fe2e9e5bfc66e8d3c6cd05dc145902281","abstract_canon_sha256":"0b4ecf644a58de722d62d226a4877ba7ff803ecca9fb01fdddcdaa772d902674"},"schema_version":"1.0"},"canonical_sha256":"7a5392e3b19f62459f67e708b59f7581c8417dfdbded398e5102433a071f8011","source":{"kind":"arxiv","id":"1510.06587","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1510.06587","created_at":"2026-05-18T01:07:21Z"},{"alias_kind":"arxiv_version","alias_value":"1510.06587v2","created_at":"2026-05-18T01:07:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1510.06587","created_at":"2026-05-18T01:07:21Z"},{"alias_kind":"pith_short_12","alias_value":"PJJZFY5RT5RE","created_at":"2026-05-18T12:29:37Z"},{"alias_kind":"pith_short_16","alias_value":"PJJZFY5RT5RELH3H","created_at":"2026-05-18T12:29:37Z"},{"alias_kind":"pith_short_8","alias_value":"PJJZFY5R","created_at":"2026-05-18T12:29:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:PJJZFY5RT5RELH3H44ELLH3VQH","target":"record","payload":{"canonical_record":{"source":{"id":"1510.06587","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2015-10-22T11:59:09Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"eac2a923f2081a9161110bfb29e6642fe2e9e5bfc66e8d3c6cd05dc145902281","abstract_canon_sha256":"0b4ecf644a58de722d62d226a4877ba7ff803ecca9fb01fdddcdaa772d902674"},"schema_version":"1.0"},"canonical_sha256":"7a5392e3b19f62459f67e708b59f7581c8417dfdbded398e5102433a071f8011","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:07:21.015453Z","signature_b64":"1Vd77Lv+KFnUfHlBKhHqTx3kheWl8TbrzpwjPH4iTx0X7wah5uK+0lklzIrDfroY2BzYbbTAiMc6XgWZYeovAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7a5392e3b19f62459f67e708b59f7581c8417dfdbded398e5102433a071f8011","last_reissued_at":"2026-05-18T01:07:21.014947Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:07:21.014947Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1510.06587","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:07:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EzlfN6iPFM0JtxSmMwgbVJjuHRpis37eSUdwFoe4rHvNl5iDufEWOnGyrt0FOivjWdwSaXNZpAKebdXPAST0Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T17:24:40.944868Z"},"content_sha256":"4e3ed655e571ad6c113543b55301861c5491946272514389a3875368b2db108d","schema_version":"1.0","event_id":"sha256:4e3ed655e571ad6c113543b55301861c5491946272514389a3875368b2db108d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:PJJZFY5RT5RELH3H44ELLH3VQH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Approximating Strategic Abilities under Imperfect Information: a Naive Approach","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.MA","authors_text":"Damian Kurpiewski, Micha{\\l} Knapik, Wojciech Jamroga","submitted_at":"2015-10-22T11:59:09Z","abstract_excerpt":"Alternating-time temporal logic (ATL) allows to specify requirements on abilities that different agents should (or should not) possess in a multi-agent system. However, model checking ATL specifications in realistic systems is computationally hard. In particular, if the agents have imperfect information about the global state of the system, the complexity ranges from Delta2P to undecidable, depending on the syntactic and semantic details. The problem is also hard in practice, as evidenced by several recent attempts to tackle it. On the other hand, model checking of alternating epistemic mu-cal"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1510.06587","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:07:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ao86OHXIuBWdGwkxzMUlKZSGZkd0pI/fbF70VWO4Np/Dkc+KxBb0gAkyOG5gJPXYu1dxVU5Q9qfILYW90hdCCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T17:24:40.945603Z"},"content_sha256":"5da43a512fe681396157f2af2e15d2dff806f4197d0df93d8a28ee45ecfb88dd","schema_version":"1.0","event_id":"sha256:5da43a512fe681396157f2af2e15d2dff806f4197d0df93d8a28ee45ecfb88dd"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PJJZFY5RT5RELH3H44ELLH3VQH/bundle.json","state_url":"https://pith.science/pith/PJJZFY5RT5RELH3H44ELLH3VQH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PJJZFY5RT5RELH3H44ELLH3VQH/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-28T17:24:40Z","links":{"resolver":"https://pith.science/pith/PJJZFY5RT5RELH3H44ELLH3VQH","bundle":"https://pith.science/pith/PJJZFY5RT5RELH3H44ELLH3VQH/bundle.json","state":"https://pith.science/pith/PJJZFY5RT5RELH3H44ELLH3VQH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PJJZFY5RT5RELH3H44ELLH3VQH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:PJJZFY5RT5RELH3H44ELLH3VQH","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":"0b4ecf644a58de722d62d226a4877ba7ff803ecca9fb01fdddcdaa772d902674","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2015-10-22T11:59:09Z","title_canon_sha256":"eac2a923f2081a9161110bfb29e6642fe2e9e5bfc66e8d3c6cd05dc145902281"},"schema_version":"1.0","source":{"id":"1510.06587","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1510.06587","created_at":"2026-05-18T01:07:21Z"},{"alias_kind":"arxiv_version","alias_value":"1510.06587v2","created_at":"2026-05-18T01:07:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1510.06587","created_at":"2026-05-18T01:07:21Z"},{"alias_kind":"pith_short_12","alias_value":"PJJZFY5RT5RE","created_at":"2026-05-18T12:29:37Z"},{"alias_kind":"pith_short_16","alias_value":"PJJZFY5RT5RELH3H","created_at":"2026-05-18T12:29:37Z"},{"alias_kind":"pith_short_8","alias_value":"PJJZFY5R","created_at":"2026-05-18T12:29:37Z"}],"graph_snapshots":[{"event_id":"sha256:5da43a512fe681396157f2af2e15d2dff806f4197d0df93d8a28ee45ecfb88dd","target":"graph","created_at":"2026-05-18T01:07:21Z","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":"Alternating-time temporal logic (ATL) allows to specify requirements on abilities that different agents should (or should not) possess in a multi-agent system. However, model checking ATL specifications in realistic systems is computationally hard. In particular, if the agents have imperfect information about the global state of the system, the complexity ranges from Delta2P to undecidable, depending on the syntactic and semantic details. The problem is also hard in practice, as evidenced by several recent attempts to tackle it. On the other hand, model checking of alternating epistemic mu-cal","authors_text":"Damian Kurpiewski, Micha{\\l} Knapik, Wojciech Jamroga","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2015-10-22T11:59:09Z","title":"Approximating Strategic Abilities under Imperfect Information: a Naive Approach"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1510.06587","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:4e3ed655e571ad6c113543b55301861c5491946272514389a3875368b2db108d","target":"record","created_at":"2026-05-18T01:07:21Z","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":"0b4ecf644a58de722d62d226a4877ba7ff803ecca9fb01fdddcdaa772d902674","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2015-10-22T11:59:09Z","title_canon_sha256":"eac2a923f2081a9161110bfb29e6642fe2e9e5bfc66e8d3c6cd05dc145902281"},"schema_version":"1.0","source":{"id":"1510.06587","kind":"arxiv","version":2}},"canonical_sha256":"7a5392e3b19f62459f67e708b59f7581c8417dfdbded398e5102433a071f8011","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7a5392e3b19f62459f67e708b59f7581c8417dfdbded398e5102433a071f8011","first_computed_at":"2026-05-18T01:07:21.014947Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:07:21.014947Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"1Vd77Lv+KFnUfHlBKhHqTx3kheWl8TbrzpwjPH4iTx0X7wah5uK+0lklzIrDfroY2BzYbbTAiMc6XgWZYeovAg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:07:21.015453Z","signed_message":"canonical_sha256_bytes"},"source_id":"1510.06587","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4e3ed655e571ad6c113543b55301861c5491946272514389a3875368b2db108d","sha256:5da43a512fe681396157f2af2e15d2dff806f4197d0df93d8a28ee45ecfb88dd"],"state_sha256":"2f4dc58f071e1ab2ebc8099b8e7556026007bba52c6e7d39da5ff56f8773813e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XJCdhu2irRw3AEVDB0jwDhA4ftIoh/QZBUit4VcaJAFGj4hB5GuwNJ7Ase8jxjRTtIoyaujKUtG4ynM8Y31HCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T17:24:40.949584Z","bundle_sha256":"828ca358730e6ef646bf45d61d6510cc5e209d6200a21897be7f491d1098220c"}}