{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:ZMASKGKCQ4WJIGGWZS4EWFYYSN","short_pith_number":"pith:ZMASKGKC","canonical_record":{"source":{"id":"1707.08736","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-07-27T07:45:44Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"456fe5a90aeddbe2666b664f6a153d751524ed20e47ba79867db3c278b2a0e5b","abstract_canon_sha256":"5d2a9fb333b8ff8d00f95c279c0a87810d802948213c1629375ed5304eb2c96a"},"schema_version":"1.0"},"canonical_sha256":"cb01251942872c9418d6ccb84b171893506162234c54f97a40187f5ad990df6c","source":{"kind":"arxiv","id":"1707.08736","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.08736","created_at":"2026-05-18T00:39:19Z"},{"alias_kind":"arxiv_version","alias_value":"1707.08736v1","created_at":"2026-05-18T00:39:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.08736","created_at":"2026-05-18T00:39:19Z"},{"alias_kind":"pith_short_12","alias_value":"ZMASKGKCQ4WJ","created_at":"2026-05-18T12:31:59Z"},{"alias_kind":"pith_short_16","alias_value":"ZMASKGKCQ4WJIGGW","created_at":"2026-05-18T12:31:59Z"},{"alias_kind":"pith_short_8","alias_value":"ZMASKGKC","created_at":"2026-05-18T12:31:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:ZMASKGKCQ4WJIGGWZS4EWFYYSN","target":"record","payload":{"canonical_record":{"source":{"id":"1707.08736","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-07-27T07:45:44Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"456fe5a90aeddbe2666b664f6a153d751524ed20e47ba79867db3c278b2a0e5b","abstract_canon_sha256":"5d2a9fb333b8ff8d00f95c279c0a87810d802948213c1629375ed5304eb2c96a"},"schema_version":"1.0"},"canonical_sha256":"cb01251942872c9418d6ccb84b171893506162234c54f97a40187f5ad990df6c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:39:19.793654Z","signature_b64":"u2hidDhN3RCUiGHfCy4kuqLtzkB31C2hYhPNBCl2gLIYut56Hz59KrsD4T3loWfsxZCxbzyGca5KclSTj+/bAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"cb01251942872c9418d6ccb84b171893506162234c54f97a40187f5ad990df6c","last_reissued_at":"2026-05-18T00:39:19.793097Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:39:19.793097Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1707.08736","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:39:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sWaCR73ktDzDPyrt/Fa2E3g2H1JX1FjdOy/ssfisJzRpWQRDRxSWBvMMLhEGzpIxT9N/3H7Umg1FeuGaYKuBBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T01:21:38.182073Z"},"content_sha256":"d2847ae91d4cb9ee89e7109526ee4637171f34a77abcffdd9260b26c1b0a6178","schema_version":"1.0","event_id":"sha256:d2847ae91d4cb9ee89e7109526ee4637171f34a77abcffdd9260b26c1b0a6178"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:ZMASKGKCQ4WJIGGWZS4EWFYYSN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Relaxing Exclusive Control in Boolean Games","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.AI","authors_text":"Andreas Herzig (IRIT, Arianna Novaro (IRIT, CNRS, Dominique Longin (IRIT, Emiliano Lorini (IRIT, Francesco Belardinelli (IBISC, IRIT, Laurent Perrussel (IRIT, Toulouse), Umberto Grandi (IRIT, Universit\\'e d'Evry, University of Toulouse)","submitted_at":"2017-07-27T07:45:44Z","abstract_excerpt":"In the typical framework for boolean games (BG) each player can change the truth value of some propositional atoms, while attempting to make her goal true. In standard BG goals are propositional formulas, whereas in iterated BG goals are formulas of Linear Temporal Logic. Both notions of BG are characterised by the fact that agents have exclusive control over their set of atoms, meaning that no two agents can control the same atom. In the present contribution we drop the exclusivity assumption and explore structures where an atom can be controlled by multiple agents. We introduce Concurrent Ga"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.08736","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:39:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+O9u1nqCcPNmxKXppQOtL6U041ZIu4YI9DZ6ZeoxM31+uyFZwPXnB0vWZ1U8TGP2bUPCVZ4kEcsjzY2FCAMYBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T01:21:38.182434Z"},"content_sha256":"eb8775f611a7e7b3538961ef0f5e270e59457d1c0d4a3ebbc41f0cb92c9f382c","schema_version":"1.0","event_id":"sha256:eb8775f611a7e7b3538961ef0f5e270e59457d1c0d4a3ebbc41f0cb92c9f382c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZMASKGKCQ4WJIGGWZS4EWFYYSN/bundle.json","state_url":"https://pith.science/pith/ZMASKGKCQ4WJIGGWZS4EWFYYSN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZMASKGKCQ4WJIGGWZS4EWFYYSN/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-27T01:21:38Z","links":{"resolver":"https://pith.science/pith/ZMASKGKCQ4WJIGGWZS4EWFYYSN","bundle":"https://pith.science/pith/ZMASKGKCQ4WJIGGWZS4EWFYYSN/bundle.json","state":"https://pith.science/pith/ZMASKGKCQ4WJIGGWZS4EWFYYSN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZMASKGKCQ4WJIGGWZS4EWFYYSN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:ZMASKGKCQ4WJIGGWZS4EWFYYSN","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":"5d2a9fb333b8ff8d00f95c279c0a87810d802948213c1629375ed5304eb2c96a","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-07-27T07:45:44Z","title_canon_sha256":"456fe5a90aeddbe2666b664f6a153d751524ed20e47ba79867db3c278b2a0e5b"},"schema_version":"1.0","source":{"id":"1707.08736","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.08736","created_at":"2026-05-18T00:39:19Z"},{"alias_kind":"arxiv_version","alias_value":"1707.08736v1","created_at":"2026-05-18T00:39:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.08736","created_at":"2026-05-18T00:39:19Z"},{"alias_kind":"pith_short_12","alias_value":"ZMASKGKCQ4WJ","created_at":"2026-05-18T12:31:59Z"},{"alias_kind":"pith_short_16","alias_value":"ZMASKGKCQ4WJIGGW","created_at":"2026-05-18T12:31:59Z"},{"alias_kind":"pith_short_8","alias_value":"ZMASKGKC","created_at":"2026-05-18T12:31:59Z"}],"graph_snapshots":[{"event_id":"sha256:eb8775f611a7e7b3538961ef0f5e270e59457d1c0d4a3ebbc41f0cb92c9f382c","target":"graph","created_at":"2026-05-18T00:39:19Z","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 the typical framework for boolean games (BG) each player can change the truth value of some propositional atoms, while attempting to make her goal true. In standard BG goals are propositional formulas, whereas in iterated BG goals are formulas of Linear Temporal Logic. Both notions of BG are characterised by the fact that agents have exclusive control over their set of atoms, meaning that no two agents can control the same atom. In the present contribution we drop the exclusivity assumption and explore structures where an atom can be controlled by multiple agents. We introduce Concurrent Ga","authors_text":"Andreas Herzig (IRIT, Arianna Novaro (IRIT, CNRS, Dominique Longin (IRIT, Emiliano Lorini (IRIT, Francesco Belardinelli (IBISC, IRIT, Laurent Perrussel (IRIT, Toulouse), Umberto Grandi (IRIT, Universit\\'e d'Evry, University of Toulouse)","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-07-27T07:45:44Z","title":"Relaxing Exclusive Control in Boolean Games"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.08736","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:d2847ae91d4cb9ee89e7109526ee4637171f34a77abcffdd9260b26c1b0a6178","target":"record","created_at":"2026-05-18T00:39:19Z","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":"5d2a9fb333b8ff8d00f95c279c0a87810d802948213c1629375ed5304eb2c96a","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-07-27T07:45:44Z","title_canon_sha256":"456fe5a90aeddbe2666b664f6a153d751524ed20e47ba79867db3c278b2a0e5b"},"schema_version":"1.0","source":{"id":"1707.08736","kind":"arxiv","version":1}},"canonical_sha256":"cb01251942872c9418d6ccb84b171893506162234c54f97a40187f5ad990df6c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"cb01251942872c9418d6ccb84b171893506162234c54f97a40187f5ad990df6c","first_computed_at":"2026-05-18T00:39:19.793097Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:39:19.793097Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"u2hidDhN3RCUiGHfCy4kuqLtzkB31C2hYhPNBCl2gLIYut56Hz59KrsD4T3loWfsxZCxbzyGca5KclSTj+/bAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:39:19.793654Z","signed_message":"canonical_sha256_bytes"},"source_id":"1707.08736","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d2847ae91d4cb9ee89e7109526ee4637171f34a77abcffdd9260b26c1b0a6178","sha256:eb8775f611a7e7b3538961ef0f5e270e59457d1c0d4a3ebbc41f0cb92c9f382c"],"state_sha256":"cd527cdc616870e8f9364de4e5bb06e68b4e497caa5d5700039b005b61871ad7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Qh6uawDhxwckpkmPGWG0lba0SR6BgEWhQpFktKkzIT+m+M3oPHwo4TvhWQeglB0/qi3XGxdkN032XBXy1ziHAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-27T01:21:38.184569Z","bundle_sha256":"e846104bf81634055fc5c4acdd156795a7b90f593c0e90f8a1c4395f257d41c7"}}