{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:IP57EZHVH3RU7OZAV2OP5C54Z2","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":"d45b13ababc0d481142f2f06e1af98911f77e969bd3b524f3f653590697e51f9","cross_cats_sorted":["cs.GT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-07-04T16:06:41Z","title_canon_sha256":"d03658ce3e0f5894244787b3f11eab033456b69ddc662af7828f4b1428e3b419"},"schema_version":"1.0","source":{"id":"1207.1373","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1207.1373","created_at":"2026-05-18T03:51:37Z"},{"alias_kind":"arxiv_version","alias_value":"1207.1373v1","created_at":"2026-05-18T03:51:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1207.1373","created_at":"2026-05-18T03:51:37Z"},{"alias_kind":"pith_short_12","alias_value":"IP57EZHVH3RU","created_at":"2026-05-18T12:27:09Z"},{"alias_kind":"pith_short_16","alias_value":"IP57EZHVH3RU7OZA","created_at":"2026-05-18T12:27:09Z"},{"alias_kind":"pith_short_8","alias_value":"IP57EZHV","created_at":"2026-05-18T12:27:09Z"}],"graph_snapshots":[{"event_id":"sha256:1cf279ac0431ae802cfc65b7fde0e6d839dfaf67ebaccf51c1463ad79f26e61c","target":"graph","created_at":"2026-05-18T03:51:37Z","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":"Planning in adversarial and uncertain environments can be modeled as the problem of devising strategies in stochastic perfect information games. These games are generalizations of Markov decision processes (MDPs): there are two (adversarial) players, and a source of randomness. The main practical obstacle to computing winning strategies in such games is the size of the state space. In practice therefore, one typically works with abstractions of the model. The diffculty is to come up with an abstraction that is neither too coarse to remove all winning strategies (plans), nor too fine to be intr","authors_text":"Krishnendu Chatterjee, Ranjit Jhala, Rupak Majumdar, Thomas A. Henzinger","cross_cats":["cs.GT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-07-04T16:06:41Z","title":"Counterexample-guided Planning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1207.1373","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:7d976c82640ca3eaff3fc9257561b6ba7f431d806f5c205fda635a74b5ee6be2","target":"record","created_at":"2026-05-18T03:51:37Z","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":"d45b13ababc0d481142f2f06e1af98911f77e969bd3b524f3f653590697e51f9","cross_cats_sorted":["cs.GT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-07-04T16:06:41Z","title_canon_sha256":"d03658ce3e0f5894244787b3f11eab033456b69ddc662af7828f4b1428e3b419"},"schema_version":"1.0","source":{"id":"1207.1373","kind":"arxiv","version":1}},"canonical_sha256":"43fbf264f53ee34fbb20ae9cfe8bbcce93ca3d9b442e48fb321c6ca90de7eef9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"43fbf264f53ee34fbb20ae9cfe8bbcce93ca3d9b442e48fb321c6ca90de7eef9","first_computed_at":"2026-05-18T03:51:37.577177Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:51:37.577177Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"X+md1dSbvoiQkacPVoJP1A5augToxYlUd1H3d/fdJZtpycUS5+vcgPRa60fG2lM2I8J6iHt9jtoKQbQEu6feBw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:51:37.577674Z","signed_message":"canonical_sha256_bytes"},"source_id":"1207.1373","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7d976c82640ca3eaff3fc9257561b6ba7f431d806f5c205fda635a74b5ee6be2","sha256:1cf279ac0431ae802cfc65b7fde0e6d839dfaf67ebaccf51c1463ad79f26e61c"],"state_sha256":"c7bd4b614433775ba84a72933ced201b0b1fe144c2c98640edffd19f0a079df3"}