{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:RDIFOZUYS6WZMEMKJFDQ3HAGDC","short_pith_number":"pith:RDIFOZUY","canonical_record":{"source":{"id":"2005.04018","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2020-05-08T13:14:42Z","cross_cats_sorted":[],"title_canon_sha256":"da7c9cb7ab2c74c953fcdb4bcff81202867ae9eb2623404eb0a509279070b957","abstract_canon_sha256":"ce1a2960cf7be3de5b25f180b1667191762daf0fc87c4212d8693e020330d129"},"schema_version":"1.0"},"canonical_sha256":"88d057669897ad96118a49470d9c0618968ef591d1d5000d6f3e01879c5485ef","source":{"kind":"arxiv","id":"2005.04018","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2005.04018","created_at":"2026-07-05T04:41:50Z"},{"alias_kind":"arxiv_version","alias_value":"2005.04018v2","created_at":"2026-07-05T04:41:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2005.04018","created_at":"2026-07-05T04:41:50Z"},{"alias_kind":"pith_short_12","alias_value":"RDIFOZUYS6WZ","created_at":"2026-07-05T04:41:50Z"},{"alias_kind":"pith_short_16","alias_value":"RDIFOZUYS6WZMEMK","created_at":"2026-07-05T04:41:50Z"},{"alias_kind":"pith_short_8","alias_value":"RDIFOZUY","created_at":"2026-07-05T04:41:50Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:RDIFOZUYS6WZMEMKJFDQ3HAGDC","target":"record","payload":{"canonical_record":{"source":{"id":"2005.04018","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2020-05-08T13:14:42Z","cross_cats_sorted":[],"title_canon_sha256":"da7c9cb7ab2c74c953fcdb4bcff81202867ae9eb2623404eb0a509279070b957","abstract_canon_sha256":"ce1a2960cf7be3de5b25f180b1667191762daf0fc87c4212d8693e020330d129"},"schema_version":"1.0"},"canonical_sha256":"88d057669897ad96118a49470d9c0618968ef591d1d5000d6f3e01879c5485ef","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:41:50.386985Z","signature_b64":"RI+XBiiJWxIj86xklL+tyy3cdoDIiCbE/13gGcow4G3jNMWBvGPFuA6RfcrJ7RAV9xG2jLIj3+xk9/Ny+qESDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"88d057669897ad96118a49470d9c0618968ef591d1d5000d6f3e01879c5485ef","last_reissued_at":"2026-07-05T04:41:50.386463Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:41:50.386463Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2005.04018","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-05T04:41:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xSeUv+5C0uGKdGYvdV8k5hdsWfla4UnbHGHnxqvifpxeEFnB7jXgDK3oShWoV9bcGn9cyzFU9350CMQxpOjuAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T03:32:47.817965Z"},"content_sha256":"bb16b7fc97f1347aaafd2a0c8eb2e5e5a0d6fd5214ebc62ea46fdd15472d14b4","schema_version":"1.0","event_id":"sha256:bb16b7fc97f1347aaafd2a0c8eb2e5e5a0d6fd5214ebc62ea46fdd15472d14b4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:RDIFOZUYS6WZMEMKJFDQ3HAGDC","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Stochastic Games with Lexicographic Reachability-Safety Objectives","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.GT","authors_text":"Joost-Pieter Katoen, Krishnendu Chatterjee, Maximilian Weininger, Tobias Winkler","submitted_at":"2020-05-08T13:14:42Z","abstract_excerpt":"We study turn-based stochastic zero-sum games with lexicographic preferences over reachability and safety objectives. Stochastic games are standard models in control, verification, and synthesis of stochastic reactive systems that exhibit both randomness as well as angelic and demonic non-determinism. Lexicographic order allows to consider multiple objectives with a strict preference order over the satisfaction of the objectives. To the best of our knowledge, stochastic games with lexicographic objectives have not been studied before. We establish determinacy of such games and present strategy"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2005.04018","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/2005.04018/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-05T04:41:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+12hbo1Os+7wmgir9kvxtVOg3Ofqx2JKPJTDRaqf8680wyHaJDZowGHngn6M5eajbWC/osjvh029GtTHpybrDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T03:32:47.818500Z"},"content_sha256":"0d2a5dfb278d776722d1eaf3b7103ad34c39b3b5d23ce1a2a4d61f92d8a9413d","schema_version":"1.0","event_id":"sha256:0d2a5dfb278d776722d1eaf3b7103ad34c39b3b5d23ce1a2a4d61f92d8a9413d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/RDIFOZUYS6WZMEMKJFDQ3HAGDC/bundle.json","state_url":"https://pith.science/pith/RDIFOZUYS6WZMEMKJFDQ3HAGDC/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/RDIFOZUYS6WZMEMKJFDQ3HAGDC/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-06T03:32:47Z","links":{"resolver":"https://pith.science/pith/RDIFOZUYS6WZMEMKJFDQ3HAGDC","bundle":"https://pith.science/pith/RDIFOZUYS6WZMEMKJFDQ3HAGDC/bundle.json","state":"https://pith.science/pith/RDIFOZUYS6WZMEMKJFDQ3HAGDC/state.json","well_known_bundle":"https://pith.science/.well-known/pith/RDIFOZUYS6WZMEMKJFDQ3HAGDC/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:RDIFOZUYS6WZMEMKJFDQ3HAGDC","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":"ce1a2960cf7be3de5b25f180b1667191762daf0fc87c4212d8693e020330d129","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2020-05-08T13:14:42Z","title_canon_sha256":"da7c9cb7ab2c74c953fcdb4bcff81202867ae9eb2623404eb0a509279070b957"},"schema_version":"1.0","source":{"id":"2005.04018","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2005.04018","created_at":"2026-07-05T04:41:50Z"},{"alias_kind":"arxiv_version","alias_value":"2005.04018v2","created_at":"2026-07-05T04:41:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2005.04018","created_at":"2026-07-05T04:41:50Z"},{"alias_kind":"pith_short_12","alias_value":"RDIFOZUYS6WZ","created_at":"2026-07-05T04:41:50Z"},{"alias_kind":"pith_short_16","alias_value":"RDIFOZUYS6WZMEMK","created_at":"2026-07-05T04:41:50Z"},{"alias_kind":"pith_short_8","alias_value":"RDIFOZUY","created_at":"2026-07-05T04:41:50Z"}],"graph_snapshots":[{"event_id":"sha256:0d2a5dfb278d776722d1eaf3b7103ad34c39b3b5d23ce1a2a4d61f92d8a9413d","target":"graph","created_at":"2026-07-05T04:41:50Z","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/2005.04018/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We study turn-based stochastic zero-sum games with lexicographic preferences over reachability and safety objectives. Stochastic games are standard models in control, verification, and synthesis of stochastic reactive systems that exhibit both randomness as well as angelic and demonic non-determinism. Lexicographic order allows to consider multiple objectives with a strict preference order over the satisfaction of the objectives. To the best of our knowledge, stochastic games with lexicographic objectives have not been studied before. We establish determinacy of such games and present strategy","authors_text":"Joost-Pieter Katoen, Krishnendu Chatterjee, Maximilian Weininger, Tobias Winkler","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2020-05-08T13:14:42Z","title":"Stochastic Games with Lexicographic Reachability-Safety Objectives"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2005.04018","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:bb16b7fc97f1347aaafd2a0c8eb2e5e5a0d6fd5214ebc62ea46fdd15472d14b4","target":"record","created_at":"2026-07-05T04:41:50Z","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":"ce1a2960cf7be3de5b25f180b1667191762daf0fc87c4212d8693e020330d129","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2020-05-08T13:14:42Z","title_canon_sha256":"da7c9cb7ab2c74c953fcdb4bcff81202867ae9eb2623404eb0a509279070b957"},"schema_version":"1.0","source":{"id":"2005.04018","kind":"arxiv","version":2}},"canonical_sha256":"88d057669897ad96118a49470d9c0618968ef591d1d5000d6f3e01879c5485ef","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"88d057669897ad96118a49470d9c0618968ef591d1d5000d6f3e01879c5485ef","first_computed_at":"2026-07-05T04:41:50.386463Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:41:50.386463Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"RI+XBiiJWxIj86xklL+tyy3cdoDIiCbE/13gGcow4G3jNMWBvGPFuA6RfcrJ7RAV9xG2jLIj3+xk9/Ny+qESDA==","signature_status":"signed_v1","signed_at":"2026-07-05T04:41:50.386985Z","signed_message":"canonical_sha256_bytes"},"source_id":"2005.04018","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bb16b7fc97f1347aaafd2a0c8eb2e5e5a0d6fd5214ebc62ea46fdd15472d14b4","sha256:0d2a5dfb278d776722d1eaf3b7103ad34c39b3b5d23ce1a2a4d61f92d8a9413d"],"state_sha256":"26e41bc939baf02bc03e97cc75db3d2f2fb6e6ebe9131eddb23eead1ae6db415"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cllpSdhz1dOMfKqKxHgyDpH+R+ji1U46J+srwniZPnBUvOD78zf8EVebpp9gIE8xx4gk4KN+hyBuBhhWPBCvAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T03:32:47.822018Z","bundle_sha256":"aa44872ec59b85ec696ea2553dea4d6cd5bd87f9858564a55e000b6524f96666"}}