{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:TXGA4ARQUKWYL5LUYKAAHPQKNI","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":"cb4e171b90ac6399d9276919086adf53a8509ce1315b20bdc644daf67a9a0237","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2018-05-31T17:45:42Z","title_canon_sha256":"922f33d2ffb7a2f828faec6af153280b05df4666ad87ba39d55bf9d092565f2c"},"schema_version":"1.0","source":{"id":"1805.12582","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1805.12582","created_at":"2026-05-18T00:06:39Z"},{"alias_kind":"arxiv_version","alias_value":"1805.12582v2","created_at":"2026-05-18T00:06:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1805.12582","created_at":"2026-05-18T00:06:39Z"},{"alias_kind":"pith_short_12","alias_value":"TXGA4ARQUKWY","created_at":"2026-05-18T12:32:56Z"},{"alias_kind":"pith_short_16","alias_value":"TXGA4ARQUKWYL5LU","created_at":"2026-05-18T12:32:56Z"},{"alias_kind":"pith_short_8","alias_value":"TXGA4ARQ","created_at":"2026-05-18T12:32:56Z"}],"graph_snapshots":[{"event_id":"sha256:3a836a94903372a1ced178442d277b62f9bc5322a2e9c5742a6cdb7402c00623","target":"graph","created_at":"2026-05-18T00:06:39Z","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*) is a central logic for multiagent systems. Its extension to the imperfect information setting (ATL*i ) is well known to have an undecidable model-checking problem when agents have perfect recall. Studies have thus mostly focused either on agents without memory, or on alternative semantics to retrieve decidability. In this work we establish new decidability results for agents with perfect recall: We first prove a meta-theorem that allows the transfer of decidability results for classes of multiplayer games with imperfect information, such as games with hie","authors_text":"Aniello Murano, Bastien Maubert, Rapha\\\"el Berthon","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2018-05-31T17:45:42Z","title":"Decidability results for ATL* with imperfect information and perfect recall"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1805.12582","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:10338c372afd57a78e0be883a1c7b9acdef31aba3d470f36a88437a910523f0e","target":"record","created_at":"2026-05-18T00:06:39Z","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":"cb4e171b90ac6399d9276919086adf53a8509ce1315b20bdc644daf67a9a0237","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2018-05-31T17:45:42Z","title_canon_sha256":"922f33d2ffb7a2f828faec6af153280b05df4666ad87ba39d55bf9d092565f2c"},"schema_version":"1.0","source":{"id":"1805.12582","kind":"arxiv","version":2}},"canonical_sha256":"9dcc0e0230a2ad85f574c28003be0a6a0016f12b9de9a8385aafd668254e9ea7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9dcc0e0230a2ad85f574c28003be0a6a0016f12b9de9a8385aafd668254e9ea7","first_computed_at":"2026-05-18T00:06:39.621805Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:06:39.621805Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7xSFHnvPpjhMDMW4Va/BTvKLZSJOz9RPuv5a3+rDgHi1Ak8L39i/Diua+IfY1QmEuoCMrkcG2Mi4cFGaPCtDCA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:06:39.622532Z","signed_message":"canonical_sha256_bytes"},"source_id":"1805.12582","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:10338c372afd57a78e0be883a1c7b9acdef31aba3d470f36a88437a910523f0e","sha256:3a836a94903372a1ced178442d277b62f9bc5322a2e9c5742a6cdb7402c00623"],"state_sha256":"2f835d0d489ad724e07a985d31814b3c454d83c43ba25dc44354d2262e3c73fd"}