{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:D4G25TNTA5C2E423KJPK3SI2YK","short_pith_number":"pith:D4G25TNT","canonical_record":{"source":{"id":"1809.02416","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-09-07T11:41:03Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"8440214e3278bf8fefb728b9a27b3363f7ced481db8963c769ba31311e858e4f","abstract_canon_sha256":"53a1c6ab46eefee4adaeb5a72e69a197af553e20b9b2332456d11ab21ac4cbe8"},"schema_version":"1.0"},"canonical_sha256":"1f0daecdb30745a2735b525eadc91ac2bb3a2aaa55459594ebb63d6c7f6015e8","source":{"kind":"arxiv","id":"1809.02416","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1809.02416","created_at":"2026-05-18T00:06:10Z"},{"alias_kind":"arxiv_version","alias_value":"1809.02416v1","created_at":"2026-05-18T00:06:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1809.02416","created_at":"2026-05-18T00:06:10Z"},{"alias_kind":"pith_short_12","alias_value":"D4G25TNTA5C2","created_at":"2026-05-18T12:32:19Z"},{"alias_kind":"pith_short_16","alias_value":"D4G25TNTA5C2E423","created_at":"2026-05-18T12:32:19Z"},{"alias_kind":"pith_short_8","alias_value":"D4G25TNT","created_at":"2026-05-18T12:32:19Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:D4G25TNTA5C2E423KJPK3SI2YK","target":"record","payload":{"canonical_record":{"source":{"id":"1809.02416","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-09-07T11:41:03Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"8440214e3278bf8fefb728b9a27b3363f7ced481db8963c769ba31311e858e4f","abstract_canon_sha256":"53a1c6ab46eefee4adaeb5a72e69a197af553e20b9b2332456d11ab21ac4cbe8"},"schema_version":"1.0"},"canonical_sha256":"1f0daecdb30745a2735b525eadc91ac2bb3a2aaa55459594ebb63d6c7f6015e8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:06:10.903347Z","signature_b64":"KfvEuLVltGK6gmelHNNRXbOlbCJjOd2B3Kn2xzC8EUN/grEw0G3GR4WNQGhO47Czk5yVUOtuLh6MxtY/PUbdBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1f0daecdb30745a2735b525eadc91ac2bb3a2aaa55459594ebb63d6c7f6015e8","last_reissued_at":"2026-05-18T00:06:10.902506Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:06:10.902506Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1809.02416","source_version":1,"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-18T00:06:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vvzjouPydFUDAbg2myIqkQRCmbtSRnpH6d4NVkZQZfStPMcTPKdPgGg6m6Uc+MNQImzeA3GRoYlQbORsNTajBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T16:24:50.548772Z"},"content_sha256":"fc9f9016e15414f815af1e40604069dc47001195dc1c358577990050bc475f1a","schema_version":"1.0","event_id":"sha256:fc9f9016e15414f815af1e40604069dc47001195dc1c358577990050bc475f1a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:D4G25TNTA5C2E423KJPK3SI2YK","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"cs.LO","authors_text":"Andrea Orlandini (National Research Council of Italy), Martin Zimmermann (Saarland University)","submitted_at":"2018-09-07T11:41:03Z","abstract_excerpt":"This volume contains the proceedings of the Ninth International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2018). The symposium took place in Saarbr\\\"ucken, Germany, from the 26th to the 28th of September 2018. The GandALF symposium was established by a group of Italian computer scientists interested in mathematical logic, automata theory, game theory, and their applications to the specification, design, and verification of complex systems. Its aim is to provide a forum where people from different areas, and possibly with different backgrounds, can fruitfully interact"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1809.02416","kind":"arxiv","version":1},"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-18T00:06:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Q0bUm94cl4LLYLDdxhdI8JFd5RaCHAxa0K3PBApVdaeP5jsDAiywxi3L2uh4m0eKIa1Te6DrerghEitdOfOCDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T16:24:50.549124Z"},"content_sha256":"a966bfe15435a6c841ebc94d39f8b46777971385f1534f84ad216c1c908d5e88","schema_version":"1.0","event_id":"sha256:a966bfe15435a6c841ebc94d39f8b46777971385f1534f84ad216c1c908d5e88"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/D4G25TNTA5C2E423KJPK3SI2YK/bundle.json","state_url":"https://pith.science/pith/D4G25TNTA5C2E423KJPK3SI2YK/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/D4G25TNTA5C2E423KJPK3SI2YK/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-06-04T16:24:50Z","links":{"resolver":"https://pith.science/pith/D4G25TNTA5C2E423KJPK3SI2YK","bundle":"https://pith.science/pith/D4G25TNTA5C2E423KJPK3SI2YK/bundle.json","state":"https://pith.science/pith/D4G25TNTA5C2E423KJPK3SI2YK/state.json","well_known_bundle":"https://pith.science/.well-known/pith/D4G25TNTA5C2E423KJPK3SI2YK/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:D4G25TNTA5C2E423KJPK3SI2YK","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":"53a1c6ab46eefee4adaeb5a72e69a197af553e20b9b2332456d11ab21ac4cbe8","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-09-07T11:41:03Z","title_canon_sha256":"8440214e3278bf8fefb728b9a27b3363f7ced481db8963c769ba31311e858e4f"},"schema_version":"1.0","source":{"id":"1809.02416","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1809.02416","created_at":"2026-05-18T00:06:10Z"},{"alias_kind":"arxiv_version","alias_value":"1809.02416v1","created_at":"2026-05-18T00:06:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1809.02416","created_at":"2026-05-18T00:06:10Z"},{"alias_kind":"pith_short_12","alias_value":"D4G25TNTA5C2","created_at":"2026-05-18T12:32:19Z"},{"alias_kind":"pith_short_16","alias_value":"D4G25TNTA5C2E423","created_at":"2026-05-18T12:32:19Z"},{"alias_kind":"pith_short_8","alias_value":"D4G25TNT","created_at":"2026-05-18T12:32:19Z"}],"graph_snapshots":[{"event_id":"sha256:a966bfe15435a6c841ebc94d39f8b46777971385f1534f84ad216c1c908d5e88","target":"graph","created_at":"2026-05-18T00:06:10Z","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":"This volume contains the proceedings of the Ninth International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2018). The symposium took place in Saarbr\\\"ucken, Germany, from the 26th to the 28th of September 2018. The GandALF symposium was established by a group of Italian computer scientists interested in mathematical logic, automata theory, game theory, and their applications to the specification, design, and verification of complex systems. Its aim is to provide a forum where people from different areas, and possibly with different backgrounds, can fruitfully interact","authors_text":"Andrea Orlandini (National Research Council of Italy), Martin Zimmermann (Saarland University)","cross_cats":["cs.FL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-09-07T11:41:03Z","title":"Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1809.02416","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:fc9f9016e15414f815af1e40604069dc47001195dc1c358577990050bc475f1a","target":"record","created_at":"2026-05-18T00:06:10Z","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":"53a1c6ab46eefee4adaeb5a72e69a197af553e20b9b2332456d11ab21ac4cbe8","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-09-07T11:41:03Z","title_canon_sha256":"8440214e3278bf8fefb728b9a27b3363f7ced481db8963c769ba31311e858e4f"},"schema_version":"1.0","source":{"id":"1809.02416","kind":"arxiv","version":1}},"canonical_sha256":"1f0daecdb30745a2735b525eadc91ac2bb3a2aaa55459594ebb63d6c7f6015e8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1f0daecdb30745a2735b525eadc91ac2bb3a2aaa55459594ebb63d6c7f6015e8","first_computed_at":"2026-05-18T00:06:10.902506Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:06:10.902506Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"KfvEuLVltGK6gmelHNNRXbOlbCJjOd2B3Kn2xzC8EUN/grEw0G3GR4WNQGhO47Czk5yVUOtuLh6MxtY/PUbdBA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:06:10.903347Z","signed_message":"canonical_sha256_bytes"},"source_id":"1809.02416","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fc9f9016e15414f815af1e40604069dc47001195dc1c358577990050bc475f1a","sha256:a966bfe15435a6c841ebc94d39f8b46777971385f1534f84ad216c1c908d5e88"],"state_sha256":"b8c3262e99d47550070683cf476af0052227b4f5a1ff94ce174221d989dd50a6"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ugHASeWLd5xq4WWwRpEdWllQucGWkaTHZtAolh5v5mcVv5vjgJhLfqQ2rdVIjsRdPMIbX0zQ6S1cd1ltoNGHBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-04T16:24:50.551385Z","bundle_sha256":"6930ce230a222bc1fa5187770e93033ad0feb96c70cc178a12459e727246ee78"}}