{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:B7YCM3SJDEBLZYSXKTIJPCZUJH","short_pith_number":"pith:B7YCM3SJ","canonical_record":{"source":{"id":"1701.03716","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2017-01-13T16:35:42Z","cross_cats_sorted":[],"title_canon_sha256":"67215273ac3cb47a0358d4456bbc9b95cd1730838c109af8403a07bd0cb05e2f","abstract_canon_sha256":"7764aa740cd413a6d3600e36cf931955ec97c9ec232c33452c7181d677a319a0"},"schema_version":"1.0"},"canonical_sha256":"0ff0266e491902bce25754d0978b3449eba390f5e1a312bdaf7601bdf00a4c6b","source":{"kind":"arxiv","id":"1701.03716","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1701.03716","created_at":"2026-05-18T00:51:41Z"},{"alias_kind":"arxiv_version","alias_value":"1701.03716v2","created_at":"2026-05-18T00:51:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1701.03716","created_at":"2026-05-18T00:51:41Z"},{"alias_kind":"pith_short_12","alias_value":"B7YCM3SJDEBL","created_at":"2026-05-18T12:31:08Z"},{"alias_kind":"pith_short_16","alias_value":"B7YCM3SJDEBLZYSX","created_at":"2026-05-18T12:31:08Z"},{"alias_kind":"pith_short_8","alias_value":"B7YCM3SJ","created_at":"2026-05-18T12:31:08Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:B7YCM3SJDEBLZYSXKTIJPCZUJH","target":"record","payload":{"canonical_record":{"source":{"id":"1701.03716","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2017-01-13T16:35:42Z","cross_cats_sorted":[],"title_canon_sha256":"67215273ac3cb47a0358d4456bbc9b95cd1730838c109af8403a07bd0cb05e2f","abstract_canon_sha256":"7764aa740cd413a6d3600e36cf931955ec97c9ec232c33452c7181d677a319a0"},"schema_version":"1.0"},"canonical_sha256":"0ff0266e491902bce25754d0978b3449eba390f5e1a312bdaf7601bdf00a4c6b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:51:41.072894Z","signature_b64":"0YQo7qHdpag9MsdL9tYbtiPtpvc3DoqxFwaSbbJJAfn4KxHSEcP5urgpIxRzX7oZMqer5XPsOWMN+RKHNnNpAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0ff0266e491902bce25754d0978b3449eba390f5e1a312bdaf7601bdf00a4c6b","last_reissued_at":"2026-05-18T00:51:41.072425Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:51:41.072425Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1701.03716","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-18T00:51:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LS4GoC0ZlBaXTnXGf9UvqvbWiI2J41lZA1OYNtwzT/DfIxi75vyHf6YMmsT6//bOQUfC0CCToyOZrXFrc/S/BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T04:50:30.561834Z"},"content_sha256":"275ab8078cab7752148a3484e136c5593118709aabe76a1995fc042501fc2b52","schema_version":"1.0","event_id":"sha256:275ab8078cab7752148a3484e136c5593118709aabe76a1995fc042501fc2b52"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:B7YCM3SJDEBLZYSXKTIJPCZUJH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Optimal Reachability in Divergent Weighted Timed Games","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.GT","authors_text":"Benjamin Monmege, Damien Busatto-Gaston, Pierre-Alain Reynier","submitted_at":"2017-01-13T16:35:42Z","abstract_excerpt":"Weighted timed games are played by two players on a timed automaton equipped with weights: one player wants to minimise the accumulated weight while reaching a target, while the other has an opposite objective. Used in a reactive synthesis perspective, this quantitative extension of timed games allows one to measure the quality of controllers. Weighted timed games are notoriously difficult and quickly undecidable, even when restricted to non-negative weights. Decidability results exist for subclasses of one-clock games, and for a subclass with non-negative weights defined by a semantical restr"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1701.03716","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-18T00:51:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JIUoQE/X3qa1BKW5ElkXgeBH5SqWxwirmPJJ3N3Zt1RTEezHYyodAiuF5MsQAiB9zG+a1+7YzuOl67W4kJQECA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T04:50:30.562178Z"},"content_sha256":"50a98ac395caf1459492c165df7a2936c3a1d0bb7e76ebd635b7f2179ea8122f","schema_version":"1.0","event_id":"sha256:50a98ac395caf1459492c165df7a2936c3a1d0bb7e76ebd635b7f2179ea8122f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/B7YCM3SJDEBLZYSXKTIJPCZUJH/bundle.json","state_url":"https://pith.science/pith/B7YCM3SJDEBLZYSXKTIJPCZUJH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/B7YCM3SJDEBLZYSXKTIJPCZUJH/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-28T04:50:30Z","links":{"resolver":"https://pith.science/pith/B7YCM3SJDEBLZYSXKTIJPCZUJH","bundle":"https://pith.science/pith/B7YCM3SJDEBLZYSXKTIJPCZUJH/bundle.json","state":"https://pith.science/pith/B7YCM3SJDEBLZYSXKTIJPCZUJH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/B7YCM3SJDEBLZYSXKTIJPCZUJH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:B7YCM3SJDEBLZYSXKTIJPCZUJH","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":"7764aa740cd413a6d3600e36cf931955ec97c9ec232c33452c7181d677a319a0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2017-01-13T16:35:42Z","title_canon_sha256":"67215273ac3cb47a0358d4456bbc9b95cd1730838c109af8403a07bd0cb05e2f"},"schema_version":"1.0","source":{"id":"1701.03716","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1701.03716","created_at":"2026-05-18T00:51:41Z"},{"alias_kind":"arxiv_version","alias_value":"1701.03716v2","created_at":"2026-05-18T00:51:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1701.03716","created_at":"2026-05-18T00:51:41Z"},{"alias_kind":"pith_short_12","alias_value":"B7YCM3SJDEBL","created_at":"2026-05-18T12:31:08Z"},{"alias_kind":"pith_short_16","alias_value":"B7YCM3SJDEBLZYSX","created_at":"2026-05-18T12:31:08Z"},{"alias_kind":"pith_short_8","alias_value":"B7YCM3SJ","created_at":"2026-05-18T12:31:08Z"}],"graph_snapshots":[{"event_id":"sha256:50a98ac395caf1459492c165df7a2936c3a1d0bb7e76ebd635b7f2179ea8122f","target":"graph","created_at":"2026-05-18T00:51:41Z","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":"Weighted timed games are played by two players on a timed automaton equipped with weights: one player wants to minimise the accumulated weight while reaching a target, while the other has an opposite objective. Used in a reactive synthesis perspective, this quantitative extension of timed games allows one to measure the quality of controllers. Weighted timed games are notoriously difficult and quickly undecidable, even when restricted to non-negative weights. Decidability results exist for subclasses of one-clock games, and for a subclass with non-negative weights defined by a semantical restr","authors_text":"Benjamin Monmege, Damien Busatto-Gaston, Pierre-Alain Reynier","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2017-01-13T16:35:42Z","title":"Optimal Reachability in Divergent Weighted Timed Games"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1701.03716","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:275ab8078cab7752148a3484e136c5593118709aabe76a1995fc042501fc2b52","target":"record","created_at":"2026-05-18T00:51:41Z","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":"7764aa740cd413a6d3600e36cf931955ec97c9ec232c33452c7181d677a319a0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2017-01-13T16:35:42Z","title_canon_sha256":"67215273ac3cb47a0358d4456bbc9b95cd1730838c109af8403a07bd0cb05e2f"},"schema_version":"1.0","source":{"id":"1701.03716","kind":"arxiv","version":2}},"canonical_sha256":"0ff0266e491902bce25754d0978b3449eba390f5e1a312bdaf7601bdf00a4c6b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0ff0266e491902bce25754d0978b3449eba390f5e1a312bdaf7601bdf00a4c6b","first_computed_at":"2026-05-18T00:51:41.072425Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:51:41.072425Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"0YQo7qHdpag9MsdL9tYbtiPtpvc3DoqxFwaSbbJJAfn4KxHSEcP5urgpIxRzX7oZMqer5XPsOWMN+RKHNnNpAw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:51:41.072894Z","signed_message":"canonical_sha256_bytes"},"source_id":"1701.03716","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:275ab8078cab7752148a3484e136c5593118709aabe76a1995fc042501fc2b52","sha256:50a98ac395caf1459492c165df7a2936c3a1d0bb7e76ebd635b7f2179ea8122f"],"state_sha256":"e546eb841c1bd17c36ab542b68eeebb01352b9b054814b05c3eac474a4550494"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uIaZLEuoRFo88YjzgU638RDp9gA4zgy8VhEcRu3JDdjmqpT4KQyyhPgbUm+M85Qt6EFA4goxGKCRNuDF6SmeDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T04:50:30.564146Z","bundle_sha256":"6ea0a6366fa2bc6f5aa748caa44ecc1fee40ba8250ea4ecce470e2c4e586c477"}}