{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2009:UPGMSWPI36MQZOESXMKDRQVNLV","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":"6cc2ebc9f791c0a377a61b1b128345711106b130c0b98994c33a0b5a12b5fb21","cross_cats_sorted":["cs.GT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2009-04-17T05:56:33Z","title_canon_sha256":"a0943940d4d4a7eddc3607ad91f195d7dfc0701c4ba131b3c0a7327a6bbd5a9b"},"schema_version":"1.0","source":{"id":"0904.2638","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0904.2638","created_at":"2026-05-18T03:24:42Z"},{"alias_kind":"arxiv_version","alias_value":"0904.2638v3","created_at":"2026-05-18T03:24:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0904.2638","created_at":"2026-05-18T03:24:42Z"},{"alias_kind":"pith_short_12","alias_value":"UPGMSWPI36MQ","created_at":"2026-05-18T12:26:02Z"},{"alias_kind":"pith_short_16","alias_value":"UPGMSWPI36MQZOES","created_at":"2026-05-18T12:26:02Z"},{"alias_kind":"pith_short_8","alias_value":"UPGMSWPI","created_at":"2026-05-18T12:26:02Z"}],"graph_snapshots":[{"event_id":"sha256:51925601831efa0e80aa07db681aaa02ca7c3dd96b761b7f6bcf10b74b60fff4","target":"graph","created_at":"2026-05-18T03:24:42Z","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":"Most specification languages express only qualitative constraints.\n  However, among two implementations that satisfy a given specification, one may be preferred to another. For example, if a specification asks that every request is followed by a response, one may prefer an implementation that generates responses quickly but does not generate unnecessary responses. We use quantitative properties to measure the \"goodness\" of an implementation. Using games with corresponding quantitative objectives, we can synthesize \"optimal\" implementations, which are preferred among the set of possible impleme","authors_text":"Barbara Jobstmann, Krishnendu Chatterjee, Roderick Bloem, Thomas A. Henzinger","cross_cats":["cs.GT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2009-04-17T05:56:33Z","title":"Better Quality in Synthesis through Quantitative Objectives"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0904.2638","kind":"arxiv","version":3},"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:4b5869c6435acd9bd0900945ab682901ae5877993dcb6320857684780dbd3a3b","target":"record","created_at":"2026-05-18T03:24:42Z","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":"6cc2ebc9f791c0a377a61b1b128345711106b130c0b98994c33a0b5a12b5fb21","cross_cats_sorted":["cs.GT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2009-04-17T05:56:33Z","title_canon_sha256":"a0943940d4d4a7eddc3607ad91f195d7dfc0701c4ba131b3c0a7327a6bbd5a9b"},"schema_version":"1.0","source":{"id":"0904.2638","kind":"arxiv","version":3}},"canonical_sha256":"a3ccc959e8df990cb892bb1438c2ad5d6077bb1306590d34826ff018ff5344cb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a3ccc959e8df990cb892bb1438c2ad5d6077bb1306590d34826ff018ff5344cb","first_computed_at":"2026-05-18T03:24:42.283077Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:24:42.283077Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ad0XbtkhFoiXCqs4HriyRfaDGiyKR1gb+gLIx2DZa0m2Z7bbYPZC+B/3lMwImDNYiqc0iLSUljjXRKjzx1dhCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:24:42.283972Z","signed_message":"canonical_sha256_bytes"},"source_id":"0904.2638","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4b5869c6435acd9bd0900945ab682901ae5877993dcb6320857684780dbd3a3b","sha256:51925601831efa0e80aa07db681aaa02ca7c3dd96b761b7f6bcf10b74b60fff4"],"state_sha256":"7dc8496b0ec98fa3ebb198f2c0b9f5acac5021ab085d93bf3b1f77a2358a92f6"}