{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:CF6QUD6VHBHTQ36OWETHUCOBFO","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":"8f15faf7e4e2034222e1bc7dda99c7c0682c6b783ed7d4dff5640ed8d9505c6b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-05-29T13:27:06Z","title_canon_sha256":"27629439b33dec83cfb22f290778bae2abd132f2977b0d2a139ba673ba2a012f"},"schema_version":"1.0","source":{"id":"1905.12422","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1905.12422","created_at":"2026-05-17T23:44:44Z"},{"alias_kind":"arxiv_version","alias_value":"1905.12422v1","created_at":"2026-05-17T23:44:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.12422","created_at":"2026-05-17T23:44:44Z"},{"alias_kind":"pith_short_12","alias_value":"CF6QUD6VHBHT","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_16","alias_value":"CF6QUD6VHBHTQ36O","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_8","alias_value":"CF6QUD6V","created_at":"2026-05-18T12:33:12Z"}],"graph_snapshots":[{"event_id":"sha256:d98611531544ed636530c2e1309664bf3de546dd9bd07ef2b6108ca5688dd08c","target":"graph","created_at":"2026-05-17T23:44:44Z","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":"We define reachability games based on Dynamic Epistemic Logic (DEL), where the players' actions are finely described as DEL action models. We first consider the setting where an external controller with perfect information interacts with an environment and aims at reaching some epistemic goal state regarding the passive agents of the system. We study the problem of strategy existence for the controller, which generalises the classic epistemic planning problem, and we solve it for several types of actions such as public announcements and public actions. We then consider a yet richer setting whe","authors_text":"Bastien Maubert, Fran\\c{c}ois Schwarzentruber, Sophie Pinchinat","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-05-29T13:27:06Z","title":"Reachability Games in Dynamic Epistemic Logic"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.12422","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:663d7c9bd0a7765471154b0723e6bda5f1d417f8a697a66d0075e5cb37fce155","target":"record","created_at":"2026-05-17T23:44:44Z","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":"8f15faf7e4e2034222e1bc7dda99c7c0682c6b783ed7d4dff5640ed8d9505c6b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-05-29T13:27:06Z","title_canon_sha256":"27629439b33dec83cfb22f290778bae2abd132f2977b0d2a139ba673ba2a012f"},"schema_version":"1.0","source":{"id":"1905.12422","kind":"arxiv","version":1}},"canonical_sha256":"117d0a0fd5384f386fceb1267a09c12b9241915ea6285f1136c4e6f0d9ab28ae","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"117d0a0fd5384f386fceb1267a09c12b9241915ea6285f1136c4e6f0d9ab28ae","first_computed_at":"2026-05-17T23:44:44.325879Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:44:44.325879Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"edm3fzaD+7H/bjQbqEkMp/m4b2yqVeZNCvxWANbHca8+kLVYTyLQn7+X5D8rVmDh8hDCYdD3f8iOV8KJX3CPBQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:44:44.326440Z","signed_message":"canonical_sha256_bytes"},"source_id":"1905.12422","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:663d7c9bd0a7765471154b0723e6bda5f1d417f8a697a66d0075e5cb37fce155","sha256:d98611531544ed636530c2e1309664bf3de546dd9bd07ef2b6108ca5688dd08c"],"state_sha256":"4015a5aae18110bca79ca8418254755ff29105e85985544486eb554805635c14"}