{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:CX5SLU35PM5ZYPDQO7GQADRWQN","short_pith_number":"pith:CX5SLU35","canonical_record":{"source":{"id":"1604.03773","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2016-04-13T13:51:59Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"adc348d755b9cb327bd38ac940d5bb73ce54e7ef4d1f3a358011d4faf9299b3b","abstract_canon_sha256":"9d4ac717ec4354563f4d27444866d213661447e4c83ddd7e1f5c4e3403f4f9f8"},"schema_version":"1.0"},"canonical_sha256":"15fb25d37d7b3b9c3c7077cd000e36835a5bb3885df5fd68aa0ab41ab4e19437","source":{"kind":"arxiv","id":"1604.03773","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1604.03773","created_at":"2026-05-18T01:11:12Z"},{"alias_kind":"arxiv_version","alias_value":"1604.03773v2","created_at":"2026-05-18T01:11:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1604.03773","created_at":"2026-05-18T01:11:12Z"},{"alias_kind":"pith_short_12","alias_value":"CX5SLU35PM5Z","created_at":"2026-05-18T12:30:09Z"},{"alias_kind":"pith_short_16","alias_value":"CX5SLU35PM5ZYPDQ","created_at":"2026-05-18T12:30:09Z"},{"alias_kind":"pith_short_8","alias_value":"CX5SLU35","created_at":"2026-05-18T12:30:09Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:CX5SLU35PM5ZYPDQO7GQADRWQN","target":"record","payload":{"canonical_record":{"source":{"id":"1604.03773","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2016-04-13T13:51:59Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"adc348d755b9cb327bd38ac940d5bb73ce54e7ef4d1f3a358011d4faf9299b3b","abstract_canon_sha256":"9d4ac717ec4354563f4d27444866d213661447e4c83ddd7e1f5c4e3403f4f9f8"},"schema_version":"1.0"},"canonical_sha256":"15fb25d37d7b3b9c3c7077cd000e36835a5bb3885df5fd68aa0ab41ab4e19437","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:11:12.149268Z","signature_b64":"pQia9ekw34OXmyWZ+FBhhNTX7cuJV+agocOf6xYniGJLMOC1ZjeK+xrYrnwOz9FVXZlvtEAChYyx+zCOttzVBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"15fb25d37d7b3b9c3c7077cd000e36835a5bb3885df5fd68aa0ab41ab4e19437","last_reissued_at":"2026-05-18T01:11:12.148734Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:11:12.148734Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1604.03773","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-18T01:11:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"f0vvBTNxrW4MeuHYcCk1miu1nuNJ97k3wcenPKikw7A3/7nEvw+Zd8YmBeEcCucsvuMohHKkvue896jXdDjgCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T17:52:54.270663Z"},"content_sha256":"572bde5161e6012334860bb4a5f5315ea823d6f24f3183c807e278f7c89b7947","schema_version":"1.0","event_id":"sha256:572bde5161e6012334860bb4a5f5315ea823d6f24f3183c807e278f7c89b7947"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:CX5SLU35PM5ZYPDQO7GQADRWQN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Rational Verification in Iterated Electric Boolean Games","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.GT","authors_text":"France), Nicolas Troquard (LACL, Paris, U-PEC, Youssouf Oualhadj (LACL","submitted_at":"2016-04-13T13:51:59Z","abstract_excerpt":"Electric boolean games are compact representations of games where the players have qualitative objectives described by LTL formulae and have limited resources. We study the complexity of several decision problems related to the analysis of rationality in electric boolean games with LTL objectives. In particular, we report that the problem of deciding whether a profile is a Nash equilibrium in an iterated electric boolean game is no harder than in iterated boolean games without resource bounds. We show that it is a PSPACE-complete problem. As a corollary, we obtain that both rational eliminatio"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1604.03773","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-18T01:11:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KQ/6n1dnWvDvJb10chhSzsRFnoA01ean4KldgFs8cF0baaKxlZvL+ZmdP77YKWG83Oa9LtCDYH8zOw2jEKy7Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T17:52:54.271005Z"},"content_sha256":"a84be4979b6b0164774925df784f3a69d7e549ca454007760d46d5667bf00d26","schema_version":"1.0","event_id":"sha256:a84be4979b6b0164774925df784f3a69d7e549ca454007760d46d5667bf00d26"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/CX5SLU35PM5ZYPDQO7GQADRWQN/bundle.json","state_url":"https://pith.science/pith/CX5SLU35PM5ZYPDQO7GQADRWQN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/CX5SLU35PM5ZYPDQO7GQADRWQN/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-09T17:52:54Z","links":{"resolver":"https://pith.science/pith/CX5SLU35PM5ZYPDQO7GQADRWQN","bundle":"https://pith.science/pith/CX5SLU35PM5ZYPDQO7GQADRWQN/bundle.json","state":"https://pith.science/pith/CX5SLU35PM5ZYPDQO7GQADRWQN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/CX5SLU35PM5ZYPDQO7GQADRWQN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:CX5SLU35PM5ZYPDQO7GQADRWQN","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":"9d4ac717ec4354563f4d27444866d213661447e4c83ddd7e1f5c4e3403f4f9f8","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2016-04-13T13:51:59Z","title_canon_sha256":"adc348d755b9cb327bd38ac940d5bb73ce54e7ef4d1f3a358011d4faf9299b3b"},"schema_version":"1.0","source":{"id":"1604.03773","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1604.03773","created_at":"2026-05-18T01:11:12Z"},{"alias_kind":"arxiv_version","alias_value":"1604.03773v2","created_at":"2026-05-18T01:11:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1604.03773","created_at":"2026-05-18T01:11:12Z"},{"alias_kind":"pith_short_12","alias_value":"CX5SLU35PM5Z","created_at":"2026-05-18T12:30:09Z"},{"alias_kind":"pith_short_16","alias_value":"CX5SLU35PM5ZYPDQ","created_at":"2026-05-18T12:30:09Z"},{"alias_kind":"pith_short_8","alias_value":"CX5SLU35","created_at":"2026-05-18T12:30:09Z"}],"graph_snapshots":[{"event_id":"sha256:a84be4979b6b0164774925df784f3a69d7e549ca454007760d46d5667bf00d26","target":"graph","created_at":"2026-05-18T01:11:12Z","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":"Electric boolean games are compact representations of games where the players have qualitative objectives described by LTL formulae and have limited resources. We study the complexity of several decision problems related to the analysis of rationality in electric boolean games with LTL objectives. In particular, we report that the problem of deciding whether a profile is a Nash equilibrium in an iterated electric boolean game is no harder than in iterated boolean games without resource bounds. We show that it is a PSPACE-complete problem. As a corollary, we obtain that both rational eliminatio","authors_text":"France), Nicolas Troquard (LACL, Paris, U-PEC, Youssouf Oualhadj (LACL","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2016-04-13T13:51:59Z","title":"Rational Verification in Iterated Electric Boolean Games"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1604.03773","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:572bde5161e6012334860bb4a5f5315ea823d6f24f3183c807e278f7c89b7947","target":"record","created_at":"2026-05-18T01:11:12Z","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":"9d4ac717ec4354563f4d27444866d213661447e4c83ddd7e1f5c4e3403f4f9f8","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2016-04-13T13:51:59Z","title_canon_sha256":"adc348d755b9cb327bd38ac940d5bb73ce54e7ef4d1f3a358011d4faf9299b3b"},"schema_version":"1.0","source":{"id":"1604.03773","kind":"arxiv","version":2}},"canonical_sha256":"15fb25d37d7b3b9c3c7077cd000e36835a5bb3885df5fd68aa0ab41ab4e19437","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"15fb25d37d7b3b9c3c7077cd000e36835a5bb3885df5fd68aa0ab41ab4e19437","first_computed_at":"2026-05-18T01:11:12.148734Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:11:12.148734Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"pQia9ekw34OXmyWZ+FBhhNTX7cuJV+agocOf6xYniGJLMOC1ZjeK+xrYrnwOz9FVXZlvtEAChYyx+zCOttzVBA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:11:12.149268Z","signed_message":"canonical_sha256_bytes"},"source_id":"1604.03773","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:572bde5161e6012334860bb4a5f5315ea823d6f24f3183c807e278f7c89b7947","sha256:a84be4979b6b0164774925df784f3a69d7e549ca454007760d46d5667bf00d26"],"state_sha256":"c3f984a27e49b41b1d0ab1d985f6f8efe80b846d27c083be445b4d790780b319"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"g0GY/yfb03rCl+g8j32yxSW9pcawriz21Js3JbT4WlHWkGMqjPv2/htNqGyG/LJ7DuGpuHzJF5Nac7RbxDerDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-09T17:52:54.272907Z","bundle_sha256":"ff35d8072d2bbffabcece9ad13fc858780f0531f8c04471a04e2c8b65dca5f1f"}}