{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:3T3XASN2IX4HUQEL5NTU32ZBHN","short_pith_number":"pith:3T3XASN2","canonical_record":{"source":{"id":"2305.10546","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.GT","submitted_at":"2023-05-17T20:06:14Z","cross_cats_sorted":["cs.FL","cs.LO"],"title_canon_sha256":"225908a13989862af2678c2ad78c0f9661505a49fb8e546411cdb77af13cfc3e","abstract_canon_sha256":"3a95f34f7739af9dba7ae8a198b8600a32e811698386557e95ff2ec6b312536e"},"schema_version":"1.0"},"canonical_sha256":"dcf77049ba45f87a408beb674deb213b6d2f5075d2ce9d58c7a2cde67fa83543","source":{"kind":"arxiv","id":"2305.10546","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2305.10546","created_at":"2026-07-05T11:44:37Z"},{"alias_kind":"arxiv_version","alias_value":"2305.10546v2","created_at":"2026-07-05T11:44:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2305.10546","created_at":"2026-07-05T11:44:37Z"},{"alias_kind":"pith_short_12","alias_value":"3T3XASN2IX4H","created_at":"2026-07-05T11:44:37Z"},{"alias_kind":"pith_short_16","alias_value":"3T3XASN2IX4HUQEL","created_at":"2026-07-05T11:44:37Z"},{"alias_kind":"pith_short_8","alias_value":"3T3XASN2","created_at":"2026-07-05T11:44:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:3T3XASN2IX4HUQEL5NTU32ZBHN","target":"record","payload":{"canonical_record":{"source":{"id":"2305.10546","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.GT","submitted_at":"2023-05-17T20:06:14Z","cross_cats_sorted":["cs.FL","cs.LO"],"title_canon_sha256":"225908a13989862af2678c2ad78c0f9661505a49fb8e546411cdb77af13cfc3e","abstract_canon_sha256":"3a95f34f7739af9dba7ae8a198b8600a32e811698386557e95ff2ec6b312536e"},"schema_version":"1.0"},"canonical_sha256":"dcf77049ba45f87a408beb674deb213b6d2f5075d2ce9d58c7a2cde67fa83543","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:44:37.833324Z","signature_b64":"Sh1RwpB1P/rpVaJt/9qxXQEzy7gWBPhpwSHVQq19/+qGOFJ57JjlsHxT2UJW6sXIX4v3ZVVXQasb6dXIyJGaAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"dcf77049ba45f87a408beb674deb213b6d2f5075d2ce9d58c7a2cde67fa83543","last_reissued_at":"2026-07-05T11:44:37.832815Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:44:37.832815Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2305.10546","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-07-05T11:44:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lKmxGt1bITjIA8IFlsLwlgoQd07hco3O6NfkAWuXH1y3bioEoOhjgl+un6x987akHCtIS9n3sYYLcbkZIqtYCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T01:16:58.491935Z"},"content_sha256":"ac38511a292269598e49ef4a43954222a4f4e720bc284c5c127d26477ea9a6b7","schema_version":"1.0","event_id":"sha256:ac38511a292269598e49ef4a43954222a4f4e720bc284c5c127d26477ea9a6b7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:3T3XASN2IX4HUQEL5NTU32ZBHN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Games on Graphs: From Logic and Automata to Algorithms","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.FL","cs.LO"],"primary_cat":"cs.GT","authors_text":"Antonio Casares, Arnaud Carayol, Benjamin Monmege, C. Aiswarya, Florian Horn, Guy Avni, Hugo Gimbert, John Fearnley, Mateusz Skomra, Mickael Randour, Nathalie Bertrand, Nathalie Sznajder, Nathana\\\"el Fijalkow, Nicolas Markey, Ocan Sankur, Olivier Serre, Patricia Bouyer, Paul Gastin, Petr Novotn\\'y, Pierre Ohlmann, Pierre Vandenhove, Rasmus Ibsen-Jensen, Romain Brenguier, Sylvain Schmitz, Thomas A. Henzinger","submitted_at":"2023-05-17T20:06:14Z","abstract_excerpt":"The objective of this book is to give a comprehensive presentation of the research field concerned with infinite duration games on graphs. Historically, these game models appeared in the study of automata and logic, and they later became important for program verification and synthesis. They have many more applications, in particular some of the models investigated in this book were introduced and studied in neighbouring research communities such as optimisation, reinforcement learning, model theory, and set theory."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2305.10546","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2305.10546/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T11:44:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8nJdiKS8MMm1tllalKkI+CArZh32lplUbEv9lJD+Sa4Whb+k77cRY5y+0rEePVl9arzGUbd+mr8yVaFZKNMABQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T01:16:58.492497Z"},"content_sha256":"493ce47e936b1205c8afec1201f0161c6dac5a7edc1660f71294e6d040ea21b2","schema_version":"1.0","event_id":"sha256:493ce47e936b1205c8afec1201f0161c6dac5a7edc1660f71294e6d040ea21b2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3T3XASN2IX4HUQEL5NTU32ZBHN/bundle.json","state_url":"https://pith.science/pith/3T3XASN2IX4HUQEL5NTU32ZBHN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3T3XASN2IX4HUQEL5NTU32ZBHN/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-08-08T01:16:58Z","links":{"resolver":"https://pith.science/pith/3T3XASN2IX4HUQEL5NTU32ZBHN","bundle":"https://pith.science/pith/3T3XASN2IX4HUQEL5NTU32ZBHN/bundle.json","state":"https://pith.science/pith/3T3XASN2IX4HUQEL5NTU32ZBHN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3T3XASN2IX4HUQEL5NTU32ZBHN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:3T3XASN2IX4HUQEL5NTU32ZBHN","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":"3a95f34f7739af9dba7ae8a198b8600a32e811698386557e95ff2ec6b312536e","cross_cats_sorted":["cs.FL","cs.LO"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.GT","submitted_at":"2023-05-17T20:06:14Z","title_canon_sha256":"225908a13989862af2678c2ad78c0f9661505a49fb8e546411cdb77af13cfc3e"},"schema_version":"1.0","source":{"id":"2305.10546","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2305.10546","created_at":"2026-07-05T11:44:37Z"},{"alias_kind":"arxiv_version","alias_value":"2305.10546v2","created_at":"2026-07-05T11:44:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2305.10546","created_at":"2026-07-05T11:44:37Z"},{"alias_kind":"pith_short_12","alias_value":"3T3XASN2IX4H","created_at":"2026-07-05T11:44:37Z"},{"alias_kind":"pith_short_16","alias_value":"3T3XASN2IX4HUQEL","created_at":"2026-07-05T11:44:37Z"},{"alias_kind":"pith_short_8","alias_value":"3T3XASN2","created_at":"2026-07-05T11:44:37Z"}],"graph_snapshots":[{"event_id":"sha256:493ce47e936b1205c8afec1201f0161c6dac5a7edc1660f71294e6d040ea21b2","target":"graph","created_at":"2026-07-05T11:44: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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2305.10546/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The objective of this book is to give a comprehensive presentation of the research field concerned with infinite duration games on graphs. Historically, these game models appeared in the study of automata and logic, and they later became important for program verification and synthesis. They have many more applications, in particular some of the models investigated in this book were introduced and studied in neighbouring research communities such as optimisation, reinforcement learning, model theory, and set theory.","authors_text":"Antonio Casares, Arnaud Carayol, Benjamin Monmege, C. Aiswarya, Florian Horn, Guy Avni, Hugo Gimbert, John Fearnley, Mateusz Skomra, Mickael Randour, Nathalie Bertrand, Nathalie Sznajder, Nathana\\\"el Fijalkow, Nicolas Markey, Ocan Sankur, Olivier Serre, Patricia Bouyer, Paul Gastin, Petr Novotn\\'y, Pierre Ohlmann, Pierre Vandenhove, Rasmus Ibsen-Jensen, Romain Brenguier, Sylvain Schmitz, Thomas A. Henzinger","cross_cats":["cs.FL","cs.LO"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.GT","submitted_at":"2023-05-17T20:06:14Z","title":"Games on Graphs: From Logic and Automata to Algorithms"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2305.10546","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:ac38511a292269598e49ef4a43954222a4f4e720bc284c5c127d26477ea9a6b7","target":"record","created_at":"2026-07-05T11:44: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":"3a95f34f7739af9dba7ae8a198b8600a32e811698386557e95ff2ec6b312536e","cross_cats_sorted":["cs.FL","cs.LO"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.GT","submitted_at":"2023-05-17T20:06:14Z","title_canon_sha256":"225908a13989862af2678c2ad78c0f9661505a49fb8e546411cdb77af13cfc3e"},"schema_version":"1.0","source":{"id":"2305.10546","kind":"arxiv","version":2}},"canonical_sha256":"dcf77049ba45f87a408beb674deb213b6d2f5075d2ce9d58c7a2cde67fa83543","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"dcf77049ba45f87a408beb674deb213b6d2f5075d2ce9d58c7a2cde67fa83543","first_computed_at":"2026-07-05T11:44:37.832815Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:44:37.832815Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Sh1RwpB1P/rpVaJt/9qxXQEzy7gWBPhpwSHVQq19/+qGOFJ57JjlsHxT2UJW6sXIX4v3ZVVXQasb6dXIyJGaAw==","signature_status":"signed_v1","signed_at":"2026-07-05T11:44:37.833324Z","signed_message":"canonical_sha256_bytes"},"source_id":"2305.10546","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ac38511a292269598e49ef4a43954222a4f4e720bc284c5c127d26477ea9a6b7","sha256:493ce47e936b1205c8afec1201f0161c6dac5a7edc1660f71294e6d040ea21b2"],"state_sha256":"44c76c9b2d36dd01cfbb28d0734582a1b057686230ef57c8d634e565922394f3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hnJJclcVaMO8InuZ0L+pseF13TM0TulZqfi6oJ5SuhE0xbb70XsVjXwZzTrvljvdlqeGQQiwz9zyCZbIx0x9CA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T01:16:58.497171Z","bundle_sha256":"9e7934239981c34d1dfe9ea6738b9115e0aa67d366e16465f1f4fbef04e80f15"}}