{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:JBKID7UQ3TNG7VPTF7B6WXFHJT","short_pith_number":"pith:JBKID7UQ","canonical_record":{"source":{"id":"1604.04435","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-04-15T11:31:04Z","cross_cats_sorted":[],"title_canon_sha256":"0046cb2f8b14cca93c91f2186197431a437f5a17fe6f79215324b57a543a156e","abstract_canon_sha256":"cab26b43ba8e0239682a876933fb561c1563943edbe64856b32b574945965957"},"schema_version":"1.0"},"canonical_sha256":"485481fe90dcda6fd5f32fc3eb5ca74ced38ad44af0f11906b1c1a2fd750520e","source":{"kind":"arxiv","id":"1604.04435","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1604.04435","created_at":"2026-05-18T01:17:04Z"},{"alias_kind":"arxiv_version","alias_value":"1604.04435v1","created_at":"2026-05-18T01:17:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1604.04435","created_at":"2026-05-18T01:17:04Z"},{"alias_kind":"pith_short_12","alias_value":"JBKID7UQ3TNG","created_at":"2026-05-18T12:30:22Z"},{"alias_kind":"pith_short_16","alias_value":"JBKID7UQ3TNG7VPT","created_at":"2026-05-18T12:30:22Z"},{"alias_kind":"pith_short_8","alias_value":"JBKID7UQ","created_at":"2026-05-18T12:30:22Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:JBKID7UQ3TNG7VPTF7B6WXFHJT","target":"record","payload":{"canonical_record":{"source":{"id":"1604.04435","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-04-15T11:31:04Z","cross_cats_sorted":[],"title_canon_sha256":"0046cb2f8b14cca93c91f2186197431a437f5a17fe6f79215324b57a543a156e","abstract_canon_sha256":"cab26b43ba8e0239682a876933fb561c1563943edbe64856b32b574945965957"},"schema_version":"1.0"},"canonical_sha256":"485481fe90dcda6fd5f32fc3eb5ca74ced38ad44af0f11906b1c1a2fd750520e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:17:04.051639Z","signature_b64":"/0c7aF40GzfqLmOfiBIzPF/j/wT2MdOXr4t4mSuAu+KFQjt8tE4OZVVzSL1xQt8ZobvgNvKIIF535TexakK0Cg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"485481fe90dcda6fd5f32fc3eb5ca74ced38ad44af0f11906b1c1a2fd750520e","last_reissued_at":"2026-05-18T01:17:04.051106Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:17:04.051106Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1604.04435","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-18T01:17:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HWSEYjJbtkSCjD+UsdyGVKQ0MArqKK8KpCUKvAnjHTc2TefbxYZapCjHkpPbenX8sbOw6pTJOWIiF20i2sRfAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T08:54:02.629129Z"},"content_sha256":"6162f2d87f17f722b933b8cf2287f7aec40ad16dbc0c29e6cdcf246c9c5859f4","schema_version":"1.0","event_id":"sha256:6162f2d87f17f722b933b8cf2287f7aec40ad16dbc0c29e6cdcf246c9c5859f4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:JBKID7UQ3TNG7VPTF7B6WXFHJT","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Expected Reachability-Time Games","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Ashutosh Trivedi, Gethin Norman, Marta Kwiatkowska, Vojt\\v{e}ch Forejt","submitted_at":"2016-04-15T11:31:04Z","abstract_excerpt":"Probabilistic timed automata are a suitable formalism to model systems with real-time, nondeterministic and probabilistic behaviour. We study two-player zero-sum games on such automata where the objective of the game is specified as the expected time to reach a target. The two players---called player Min and player Max---compete by proposing timed moves simultaneously and the move with a shorter delay is performed. The first player attempts to minimise the given objective while the second tries to maximise the objective. We observe that these games are not determined, and study decision proble"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1604.04435","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-18T01:17:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JgXE3kKY6+qx5ciuKU2nmod68JN5mUthySQ9fN33dg07gPAhaPlwxJpXxxgkv26ZotmVF5Yhw9TDUazJ8wVZDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T08:54:02.629819Z"},"content_sha256":"a0f6400978963b3d267f4b6a6920291e645d2cc1ac49966fed30e2780ee256c0","schema_version":"1.0","event_id":"sha256:a0f6400978963b3d267f4b6a6920291e645d2cc1ac49966fed30e2780ee256c0"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JBKID7UQ3TNG7VPTF7B6WXFHJT/bundle.json","state_url":"https://pith.science/pith/JBKID7UQ3TNG7VPTF7B6WXFHJT/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JBKID7UQ3TNG7VPTF7B6WXFHJT/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-05-27T08:54:02Z","links":{"resolver":"https://pith.science/pith/JBKID7UQ3TNG7VPTF7B6WXFHJT","bundle":"https://pith.science/pith/JBKID7UQ3TNG7VPTF7B6WXFHJT/bundle.json","state":"https://pith.science/pith/JBKID7UQ3TNG7VPTF7B6WXFHJT/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JBKID7UQ3TNG7VPTF7B6WXFHJT/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:JBKID7UQ3TNG7VPTF7B6WXFHJT","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":"cab26b43ba8e0239682a876933fb561c1563943edbe64856b32b574945965957","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-04-15T11:31:04Z","title_canon_sha256":"0046cb2f8b14cca93c91f2186197431a437f5a17fe6f79215324b57a543a156e"},"schema_version":"1.0","source":{"id":"1604.04435","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1604.04435","created_at":"2026-05-18T01:17:04Z"},{"alias_kind":"arxiv_version","alias_value":"1604.04435v1","created_at":"2026-05-18T01:17:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1604.04435","created_at":"2026-05-18T01:17:04Z"},{"alias_kind":"pith_short_12","alias_value":"JBKID7UQ3TNG","created_at":"2026-05-18T12:30:22Z"},{"alias_kind":"pith_short_16","alias_value":"JBKID7UQ3TNG7VPT","created_at":"2026-05-18T12:30:22Z"},{"alias_kind":"pith_short_8","alias_value":"JBKID7UQ","created_at":"2026-05-18T12:30:22Z"}],"graph_snapshots":[{"event_id":"sha256:a0f6400978963b3d267f4b6a6920291e645d2cc1ac49966fed30e2780ee256c0","target":"graph","created_at":"2026-05-18T01:17:04Z","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":"Probabilistic timed automata are a suitable formalism to model systems with real-time, nondeterministic and probabilistic behaviour. We study two-player zero-sum games on such automata where the objective of the game is specified as the expected time to reach a target. The two players---called player Min and player Max---compete by proposing timed moves simultaneously and the move with a shorter delay is performed. The first player attempts to minimise the given objective while the second tries to maximise the objective. We observe that these games are not determined, and study decision proble","authors_text":"Ashutosh Trivedi, Gethin Norman, Marta Kwiatkowska, Vojt\\v{e}ch Forejt","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-04-15T11:31:04Z","title":"Expected Reachability-Time Games"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1604.04435","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:6162f2d87f17f722b933b8cf2287f7aec40ad16dbc0c29e6cdcf246c9c5859f4","target":"record","created_at":"2026-05-18T01:17:04Z","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":"cab26b43ba8e0239682a876933fb561c1563943edbe64856b32b574945965957","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-04-15T11:31:04Z","title_canon_sha256":"0046cb2f8b14cca93c91f2186197431a437f5a17fe6f79215324b57a543a156e"},"schema_version":"1.0","source":{"id":"1604.04435","kind":"arxiv","version":1}},"canonical_sha256":"485481fe90dcda6fd5f32fc3eb5ca74ced38ad44af0f11906b1c1a2fd750520e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"485481fe90dcda6fd5f32fc3eb5ca74ced38ad44af0f11906b1c1a2fd750520e","first_computed_at":"2026-05-18T01:17:04.051106Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:17:04.051106Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"/0c7aF40GzfqLmOfiBIzPF/j/wT2MdOXr4t4mSuAu+KFQjt8tE4OZVVzSL1xQt8ZobvgNvKIIF535TexakK0Cg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:17:04.051639Z","signed_message":"canonical_sha256_bytes"},"source_id":"1604.04435","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6162f2d87f17f722b933b8cf2287f7aec40ad16dbc0c29e6cdcf246c9c5859f4","sha256:a0f6400978963b3d267f4b6a6920291e645d2cc1ac49966fed30e2780ee256c0"],"state_sha256":"efb671c56f54a25795a2bcf6f346d022960da3ec89e75f798cd96a58cb82a8b1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TYDvc12qWmAl2Ucx4TSC/tI25G1G7sD+FTtpt2NXIPoipCUFYo3El6EbECB8c3kS26VPCZOEycRrPjhyephSBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T08:54:02.633377Z","bundle_sha256":"2b72257198291645ffb6e578eb2eb8492497d9ae2ecdc582a047e5148aa39c6d"}}