{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:2JO45VL6HMEMAXSCVGKI4O3RWX","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":"6120c6712a65255da9396713df599c451235f13fcf5db71ba5b35a115e0a6d37","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-04-03T10:39:13Z","title_canon_sha256":"df552e2ae53785f4bd0a01769f15d829d0231ac63f493d80064eeccd76fd6ed0"},"schema_version":"1.0","source":{"id":"1404.0844","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1404.0844","created_at":"2026-05-18T02:54:55Z"},{"alias_kind":"arxiv_version","alias_value":"1404.0844v1","created_at":"2026-05-18T02:54:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1404.0844","created_at":"2026-05-18T02:54:55Z"},{"alias_kind":"pith_short_12","alias_value":"2JO45VL6HMEM","created_at":"2026-05-18T12:28:11Z"},{"alias_kind":"pith_short_16","alias_value":"2JO45VL6HMEMAXSC","created_at":"2026-05-18T12:28:11Z"},{"alias_kind":"pith_short_8","alias_value":"2JO45VL6","created_at":"2026-05-18T12:28:11Z"}],"graph_snapshots":[{"event_id":"sha256:dab6cd6e9369d19dcabab43ee3401b485be864b5c77f55bb0442e84910bc4489","target":"graph","created_at":"2026-05-18T02:54:55Z","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":"In this work we aim at applying automata techniques to problems studied in Dynamic Epistemic Logic, such as epistemic planning. To do so, we first remark that repeatedly executing ad infinitum a propositional event model from an initial epistemic model yields a relational structure that can be finitely represented with automata. This correspondence, together with recent results on uniform strategies, allows us to give an alternative decidability proof of the epistemic planning problem for propositional events, with as by-products accurate upper-bounds on its time complexity, and the possibilit","authors_text":"Bastien Maubert, Guillaume Aucher, Sophie Pinchinat","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-04-03T10:39:13Z","title":"Automata Techniques for Epistemic Protocol Synthesis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1404.0844","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:f2efaa422c529cedd4ffbd1e7775cbb0f93043d44c3752b9f0825f9a80cc9ec6","target":"record","created_at":"2026-05-18T02:54:55Z","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":"6120c6712a65255da9396713df599c451235f13fcf5db71ba5b35a115e0a6d37","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-04-03T10:39:13Z","title_canon_sha256":"df552e2ae53785f4bd0a01769f15d829d0231ac63f493d80064eeccd76fd6ed0"},"schema_version":"1.0","source":{"id":"1404.0844","kind":"arxiv","version":1}},"canonical_sha256":"d25dced57e3b08c05e42a9948e3b71b5f1d12bcbbb816dbaf8d7c19b1fcd2d26","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d25dced57e3b08c05e42a9948e3b71b5f1d12bcbbb816dbaf8d7c19b1fcd2d26","first_computed_at":"2026-05-18T02:54:55.294765Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:54:55.294765Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"T0H17+B8VZZNER/PERjSIxCx1ZJ7wHUu42j6Jm2kl8hXlCiBp2stjMR5qDL2y9elYPu5MEAiZW/wU7QjhIojCg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:54:55.295394Z","signed_message":"canonical_sha256_bytes"},"source_id":"1404.0844","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f2efaa422c529cedd4ffbd1e7775cbb0f93043d44c3752b9f0825f9a80cc9ec6","sha256:dab6cd6e9369d19dcabab43ee3401b485be864b5c77f55bb0442e84910bc4489"],"state_sha256":"d0c8e09dbcf18296cd74bce031f409c606d523c2a591bb58af89ce4415928985"}