{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:7PQ3S6MKJXW43ACYBO6C2535DY","short_pith_number":"pith:7PQ3S6MK","canonical_record":{"source":{"id":"1812.01062","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2018-12-03T20:09:49Z","cross_cats_sorted":[],"title_canon_sha256":"03a716e0c67a23d8db4ec6cbf9024e23b1a37b7b28f073823dd8d059cb675f24","abstract_canon_sha256":"97927c934cb81ac19e94d798c5d7989247010703f73a991d7e163f7f1019e620"},"schema_version":"1.0"},"canonical_sha256":"fbe1b9798a4dedcd80580bbc2d777d1e01e1b6d0ff79c6447c48cb986ac77091","source":{"kind":"arxiv","id":"1812.01062","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1812.01062","created_at":"2026-05-17T23:59:13Z"},{"alias_kind":"arxiv_version","alias_value":"1812.01062v1","created_at":"2026-05-17T23:59:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1812.01062","created_at":"2026-05-17T23:59:13Z"},{"alias_kind":"pith_short_12","alias_value":"7PQ3S6MKJXW4","created_at":"2026-05-18T12:32:11Z"},{"alias_kind":"pith_short_16","alias_value":"7PQ3S6MKJXW43ACY","created_at":"2026-05-18T12:32:11Z"},{"alias_kind":"pith_short_8","alias_value":"7PQ3S6MK","created_at":"2026-05-18T12:32:11Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:7PQ3S6MKJXW43ACYBO6C2535DY","target":"record","payload":{"canonical_record":{"source":{"id":"1812.01062","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2018-12-03T20:09:49Z","cross_cats_sorted":[],"title_canon_sha256":"03a716e0c67a23d8db4ec6cbf9024e23b1a37b7b28f073823dd8d059cb675f24","abstract_canon_sha256":"97927c934cb81ac19e94d798c5d7989247010703f73a991d7e163f7f1019e620"},"schema_version":"1.0"},"canonical_sha256":"fbe1b9798a4dedcd80580bbc2d777d1e01e1b6d0ff79c6447c48cb986ac77091","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:59:13.408849Z","signature_b64":"eShKXXCd5xpjCOLCIdEVkNmBT7s0I2Y7iW8P88Bpy1aWlOswDYg7vrlja/nWTMbPEDf+bgRoQ29qV2GbEjzkAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fbe1b9798a4dedcd80580bbc2d777d1e01e1b6d0ff79c6447c48cb986ac77091","last_reissued_at":"2026-05-17T23:59:13.408385Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:59:13.408385Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1812.01062","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-17T23:59:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Kur0qC0rgBSwKcdkAL+1j8IrRkw83hkQ1nHiK6XHFrZOExvsJabacsSOty0SGiryJu3FWWBFZeTa90DIEG5aAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T23:29:33.429152Z"},"content_sha256":"dc3519645e1fb5e73b745862b326fff6b6b37fdfa6099101f130633cbf3993d1","schema_version":"1.0","event_id":"sha256:dc3519645e1fb5e73b745862b326fff6b6b37fdfa6099101f130633cbf3993d1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:7PQ3S6MKJXW43ACYBO6C2535DY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Symbolic Approximation of 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":"2018-12-03T20:09:49Z","abstract_excerpt":"Weighted timed games are zero-sum games played by two players on a timed automaton equipped with weights, where one player wants to minimise the accumulated weight while reaching a target. Weighted timed games are notoriously difficult and quickly undecidable, even when restricted to non-negative weights. For non-negative weights, the largest class that can be analysed has been introduced by Bouyer, Jaziri and Markey in 2015. Though the value problem is undecidable, the authors show how to approximate the value by considering regions with a refined granularity. In this work, we extend this cla"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1812.01062","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-17T23:59:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nRlpeehKx2PiPX2ROaJ8RcAOmpAk0a3a34sRu/OUgvoCJ9ukAnSotwgoIXZzmxGS5QYbLZhxppVxzknGYWlcCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T23:29:33.429811Z"},"content_sha256":"36638f2e9ee180e637109f6d5b0e6f19d5ffccc74ed9ce15f304c35fc6592e54","schema_version":"1.0","event_id":"sha256:36638f2e9ee180e637109f6d5b0e6f19d5ffccc74ed9ce15f304c35fc6592e54"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7PQ3S6MKJXW43ACYBO6C2535DY/bundle.json","state_url":"https://pith.science/pith/7PQ3S6MKJXW43ACYBO6C2535DY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7PQ3S6MKJXW43ACYBO6C2535DY/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-27T23:29:33Z","links":{"resolver":"https://pith.science/pith/7PQ3S6MKJXW43ACYBO6C2535DY","bundle":"https://pith.science/pith/7PQ3S6MKJXW43ACYBO6C2535DY/bundle.json","state":"https://pith.science/pith/7PQ3S6MKJXW43ACYBO6C2535DY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7PQ3S6MKJXW43ACYBO6C2535DY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:7PQ3S6MKJXW43ACYBO6C2535DY","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":"97927c934cb81ac19e94d798c5d7989247010703f73a991d7e163f7f1019e620","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2018-12-03T20:09:49Z","title_canon_sha256":"03a716e0c67a23d8db4ec6cbf9024e23b1a37b7b28f073823dd8d059cb675f24"},"schema_version":"1.0","source":{"id":"1812.01062","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1812.01062","created_at":"2026-05-17T23:59:13Z"},{"alias_kind":"arxiv_version","alias_value":"1812.01062v1","created_at":"2026-05-17T23:59:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1812.01062","created_at":"2026-05-17T23:59:13Z"},{"alias_kind":"pith_short_12","alias_value":"7PQ3S6MKJXW4","created_at":"2026-05-18T12:32:11Z"},{"alias_kind":"pith_short_16","alias_value":"7PQ3S6MKJXW43ACY","created_at":"2026-05-18T12:32:11Z"},{"alias_kind":"pith_short_8","alias_value":"7PQ3S6MK","created_at":"2026-05-18T12:32:11Z"}],"graph_snapshots":[{"event_id":"sha256:36638f2e9ee180e637109f6d5b0e6f19d5ffccc74ed9ce15f304c35fc6592e54","target":"graph","created_at":"2026-05-17T23:59:13Z","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 zero-sum games played by two players on a timed automaton equipped with weights, where one player wants to minimise the accumulated weight while reaching a target. Weighted timed games are notoriously difficult and quickly undecidable, even when restricted to non-negative weights. For non-negative weights, the largest class that can be analysed has been introduced by Bouyer, Jaziri and Markey in 2015. Though the value problem is undecidable, the authors show how to approximate the value by considering regions with a refined granularity. In this work, we extend this cla","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":"2018-12-03T20:09:49Z","title":"Symbolic Approximation of Weighted Timed Games"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1812.01062","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:dc3519645e1fb5e73b745862b326fff6b6b37fdfa6099101f130633cbf3993d1","target":"record","created_at":"2026-05-17T23:59:13Z","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":"97927c934cb81ac19e94d798c5d7989247010703f73a991d7e163f7f1019e620","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2018-12-03T20:09:49Z","title_canon_sha256":"03a716e0c67a23d8db4ec6cbf9024e23b1a37b7b28f073823dd8d059cb675f24"},"schema_version":"1.0","source":{"id":"1812.01062","kind":"arxiv","version":1}},"canonical_sha256":"fbe1b9798a4dedcd80580bbc2d777d1e01e1b6d0ff79c6447c48cb986ac77091","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fbe1b9798a4dedcd80580bbc2d777d1e01e1b6d0ff79c6447c48cb986ac77091","first_computed_at":"2026-05-17T23:59:13.408385Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:59:13.408385Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"eShKXXCd5xpjCOLCIdEVkNmBT7s0I2Y7iW8P88Bpy1aWlOswDYg7vrlja/nWTMbPEDf+bgRoQ29qV2GbEjzkAw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:59:13.408849Z","signed_message":"canonical_sha256_bytes"},"source_id":"1812.01062","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:dc3519645e1fb5e73b745862b326fff6b6b37fdfa6099101f130633cbf3993d1","sha256:36638f2e9ee180e637109f6d5b0e6f19d5ffccc74ed9ce15f304c35fc6592e54"],"state_sha256":"d9a18f5b7090520a5b62d14dd23541d764a98a5057c16f13d7b127be87fbb32f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XPiSOXpveHJZOVB9QzzMuZ470KjfQJIGIcjlhtGM3Ofky7vIXP6hUroWebDsh6kFUs8CCJANTKWYfk8HoQkkAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T23:29:33.432539Z","bundle_sha256":"60aaf146c368dd55bb4789587183582390c492e7ec79cac852253aab7d54ee9c"}}