{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:MURYHOZJ2LXCOPGGPRPHLTQPK5","short_pith_number":"pith:MURYHOZJ","canonical_record":{"source":{"id":"1404.6228","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-04-23T09:47:29Z","cross_cats_sorted":["cs.GT"],"title_canon_sha256":"6447861af632d215598ef00c0b7cece1d4a67e15aaf7ddb44dc7d0a2673e340a","abstract_canon_sha256":"f56e74dfb24a9514b86b900e885ffe38c0b89e0e83c60e5b0db51ffdc1d617b3"},"schema_version":"1.0"},"canonical_sha256":"652383bb29d2ee273cc67c5e75ce0f57660183bfd71e8837bfa233e0438740c8","source":{"kind":"arxiv","id":"1404.6228","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1404.6228","created_at":"2026-05-18T02:52:25Z"},{"alias_kind":"arxiv_version","alias_value":"1404.6228v2","created_at":"2026-05-18T02:52:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1404.6228","created_at":"2026-05-18T02:52:25Z"},{"alias_kind":"pith_short_12","alias_value":"MURYHOZJ2LXC","created_at":"2026-05-18T12:28:38Z"},{"alias_kind":"pith_short_16","alias_value":"MURYHOZJ2LXCOPGG","created_at":"2026-05-18T12:28:38Z"},{"alias_kind":"pith_short_8","alias_value":"MURYHOZJ","created_at":"2026-05-18T12:28:38Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:MURYHOZJ2LXCOPGGPRPHLTQPK5","target":"record","payload":{"canonical_record":{"source":{"id":"1404.6228","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-04-23T09:47:29Z","cross_cats_sorted":["cs.GT"],"title_canon_sha256":"6447861af632d215598ef00c0b7cece1d4a67e15aaf7ddb44dc7d0a2673e340a","abstract_canon_sha256":"f56e74dfb24a9514b86b900e885ffe38c0b89e0e83c60e5b0db51ffdc1d617b3"},"schema_version":"1.0"},"canonical_sha256":"652383bb29d2ee273cc67c5e75ce0f57660183bfd71e8837bfa233e0438740c8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:52:25.060731Z","signature_b64":"I2JeqBOZ2pUxFTln1lfwmek+1DQ91WBrpqp3O1ulJnWsxNFAKfaza1Q+btyBDNlq8VSchHNg2hjvGfHC/t3fBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"652383bb29d2ee273cc67c5e75ce0f57660183bfd71e8837bfa233e0438740c8","last_reissued_at":"2026-05-18T02:52:25.060219Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:52:25.060219Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1404.6228","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-18T02:52:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"U6w9PPdtioFuPms4KI3CCWjSwlicZrXi0uLwFA1vovyOoG2At/FkKrHikPgt1eIOdXA+DP2qFGbtuSO5xktmDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T22:10:51.698569Z"},"content_sha256":"dfcbab580ba54d4112d7efa43a985d3ed4e59fd6ba62c27a7da7d55e78293505","schema_version":"1.0","event_id":"sha256:dfcbab580ba54d4112d7efa43a985d3ed4e59fd6ba62c27a7da7d55e78293505"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:MURYHOZJ2LXCOPGGPRPHLTQPK5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Synthesising Succinct Strategies in Safety Games","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.GT"],"primary_cat":"cs.LO","authors_text":"Am\\'elie Stainer, Gilles Geeraerts, Jo\\\"el Goossens","submitted_at":"2014-04-23T09:47:29Z","abstract_excerpt":"Finite turn-based safety games have been used for very different problems such as the synthesis of linear temporal logic (LTL), the synthesis of schedulers for computer systems running on multiprocessor platforms, and also for the determinisation of timed automata. In these contexts, games are implicitly defined, and their size is at least exponential in the size of the input. Nevertheless, there are natural relations between states of arenas of such games. We first formalise the properties that we expect on the relation between states, thanks to the notion of alternating simulation. Then, we "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1404.6228","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-18T02:52:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yqY2L0ofTCGS1R2JWicSG9ol92+ptmPr1izalmtqQ0WL8uLE/3hA7MLB1uSvSGg5oAi9sqgJpyvb/vuIErG+Cw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T22:10:51.698959Z"},"content_sha256":"c90b8c54bf00809965abc6978077f9ab0855da7f9506a947dd56b84294f48294","schema_version":"1.0","event_id":"sha256:c90b8c54bf00809965abc6978077f9ab0855da7f9506a947dd56b84294f48294"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MURYHOZJ2LXCOPGGPRPHLTQPK5/bundle.json","state_url":"https://pith.science/pith/MURYHOZJ2LXCOPGGPRPHLTQPK5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MURYHOZJ2LXCOPGGPRPHLTQPK5/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-26T22:10:51Z","links":{"resolver":"https://pith.science/pith/MURYHOZJ2LXCOPGGPRPHLTQPK5","bundle":"https://pith.science/pith/MURYHOZJ2LXCOPGGPRPHLTQPK5/bundle.json","state":"https://pith.science/pith/MURYHOZJ2LXCOPGGPRPHLTQPK5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MURYHOZJ2LXCOPGGPRPHLTQPK5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:MURYHOZJ2LXCOPGGPRPHLTQPK5","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":"f56e74dfb24a9514b86b900e885ffe38c0b89e0e83c60e5b0db51ffdc1d617b3","cross_cats_sorted":["cs.GT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-04-23T09:47:29Z","title_canon_sha256":"6447861af632d215598ef00c0b7cece1d4a67e15aaf7ddb44dc7d0a2673e340a"},"schema_version":"1.0","source":{"id":"1404.6228","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1404.6228","created_at":"2026-05-18T02:52:25Z"},{"alias_kind":"arxiv_version","alias_value":"1404.6228v2","created_at":"2026-05-18T02:52:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1404.6228","created_at":"2026-05-18T02:52:25Z"},{"alias_kind":"pith_short_12","alias_value":"MURYHOZJ2LXC","created_at":"2026-05-18T12:28:38Z"},{"alias_kind":"pith_short_16","alias_value":"MURYHOZJ2LXCOPGG","created_at":"2026-05-18T12:28:38Z"},{"alias_kind":"pith_short_8","alias_value":"MURYHOZJ","created_at":"2026-05-18T12:28:38Z"}],"graph_snapshots":[{"event_id":"sha256:c90b8c54bf00809965abc6978077f9ab0855da7f9506a947dd56b84294f48294","target":"graph","created_at":"2026-05-18T02:52:25Z","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":"Finite turn-based safety games have been used for very different problems such as the synthesis of linear temporal logic (LTL), the synthesis of schedulers for computer systems running on multiprocessor platforms, and also for the determinisation of timed automata. In these contexts, games are implicitly defined, and their size is at least exponential in the size of the input. Nevertheless, there are natural relations between states of arenas of such games. We first formalise the properties that we expect on the relation between states, thanks to the notion of alternating simulation. Then, we ","authors_text":"Am\\'elie Stainer, Gilles Geeraerts, Jo\\\"el Goossens","cross_cats":["cs.GT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-04-23T09:47:29Z","title":"Synthesising Succinct Strategies in Safety Games"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1404.6228","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:dfcbab580ba54d4112d7efa43a985d3ed4e59fd6ba62c27a7da7d55e78293505","target":"record","created_at":"2026-05-18T02:52:25Z","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":"f56e74dfb24a9514b86b900e885ffe38c0b89e0e83c60e5b0db51ffdc1d617b3","cross_cats_sorted":["cs.GT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-04-23T09:47:29Z","title_canon_sha256":"6447861af632d215598ef00c0b7cece1d4a67e15aaf7ddb44dc7d0a2673e340a"},"schema_version":"1.0","source":{"id":"1404.6228","kind":"arxiv","version":2}},"canonical_sha256":"652383bb29d2ee273cc67c5e75ce0f57660183bfd71e8837bfa233e0438740c8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"652383bb29d2ee273cc67c5e75ce0f57660183bfd71e8837bfa233e0438740c8","first_computed_at":"2026-05-18T02:52:25.060219Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:52:25.060219Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"I2JeqBOZ2pUxFTln1lfwmek+1DQ91WBrpqp3O1ulJnWsxNFAKfaza1Q+btyBDNlq8VSchHNg2hjvGfHC/t3fBg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:52:25.060731Z","signed_message":"canonical_sha256_bytes"},"source_id":"1404.6228","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:dfcbab580ba54d4112d7efa43a985d3ed4e59fd6ba62c27a7da7d55e78293505","sha256:c90b8c54bf00809965abc6978077f9ab0855da7f9506a947dd56b84294f48294"],"state_sha256":"2a7cea524c064ddad8184e3e87598472df25991c90efecc2239fc5d118c4a413"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7OlUJ0mi/yCODatfJg4t69Y1rioWUtfkGJz0aa0aaSNMzIV1HDjIBE/e1dD3Mz8m05try5o3akt0PgFgHXkNAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T22:10:51.701308Z","bundle_sha256":"22b47e18ee7f2fd73de25d7d4eecf99f58ccb33c5debc77d0d7006d36d79c5e6"}}