{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:XUSGAE3EAWC26GLMSROT7CJQ74","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":"4d2868d61fb582424d2d7304f9cc31f85b587d76e8b6c97b73aceb0ae94a7235","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2017-07-19T08:06:00Z","title_canon_sha256":"a8f51decf9779f22c083c0341258234e45071bf41d767ad3f0078f48380dc9cf"},"schema_version":"1.0","source":{"id":"1707.05968","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.05968","created_at":"2026-05-18T00:11:58Z"},{"alias_kind":"arxiv_version","alias_value":"1707.05968v4","created_at":"2026-05-18T00:11:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.05968","created_at":"2026-05-18T00:11:58Z"},{"alias_kind":"pith_short_12","alias_value":"XUSGAE3EAWC2","created_at":"2026-05-18T12:31:56Z"},{"alias_kind":"pith_short_16","alias_value":"XUSGAE3EAWC26GLM","created_at":"2026-05-18T12:31:56Z"},{"alias_kind":"pith_short_8","alias_value":"XUSGAE3E","created_at":"2026-05-18T12:31:56Z"}],"graph_snapshots":[{"event_id":"sha256:ee07a881e357fc7aca64f19ca6482b921dee45da0396008a50eb3c4cf2e0bf3d","target":"graph","created_at":"2026-05-18T00:11:58Z","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 recent years, two-player zero-sum games with multiple objectives have received a lot of interest as a model for the synthesis of complex reactive systems. In this framework, Player 1 wins if he can ensure that all objectives are satisfied against any behavior of Player 2. When this is not possible to satisfy all the objectives at once, an alternative is to use some preorder on the objectives according to which subset of objectives Player 1 wants to satisfy. For example, it is often natural to provide more significance to one objective over another, a situation that can be modelled with lexi","authors_text":"Jean-Fran\\c{c}ois Raskin, Quentin Hautem, V\\'eronique Bruy\\`ere","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2017-07-19T08:06:00Z","title":"Parameterized complexity of games with monotonically ordered {\\omega}-regular objectives"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.05968","kind":"arxiv","version":4},"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:b0c669f50c9daf11c29401320f3c1e610bddfab24116bcd97e926ef75d3c0cd4","target":"record","created_at":"2026-05-18T00:11:58Z","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":"4d2868d61fb582424d2d7304f9cc31f85b587d76e8b6c97b73aceb0ae94a7235","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2017-07-19T08:06:00Z","title_canon_sha256":"a8f51decf9779f22c083c0341258234e45071bf41d767ad3f0078f48380dc9cf"},"schema_version":"1.0","source":{"id":"1707.05968","kind":"arxiv","version":4}},"canonical_sha256":"bd246013640585af196c945d3f8930ff13b0ed515ffcc0a7469c59c4414be4ae","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bd246013640585af196c945d3f8930ff13b0ed515ffcc0a7469c59c4414be4ae","first_computed_at":"2026-05-18T00:11:58.089395Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:11:58.089395Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"DAKWJeg3K/N7JEKbpVUueIOzZdbx5s/zTa3kMdZduK2AJntHyMTR82u/gOkqu/MZoJtP6KWy22xhBNEwRsllDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:11:58.089907Z","signed_message":"canonical_sha256_bytes"},"source_id":"1707.05968","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b0c669f50c9daf11c29401320f3c1e610bddfab24116bcd97e926ef75d3c0cd4","sha256:ee07a881e357fc7aca64f19ca6482b921dee45da0396008a50eb3c4cf2e0bf3d"],"state_sha256":"2e6ca983924abe50898b2d9ad40a177c0dfabb3d8070dd55bf5f3e7a13226785"}