{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:HLJUJ32GRELW7X6EX6QKXWVHVR","short_pith_number":"pith:HLJUJ32G","schema_version":"1.0","canonical_sha256":"3ad344ef4689176fdfc4bfa0abdaa7ac7772cdda7e4b53c73ca1cb14407bd697","source":{"kind":"arxiv","id":"1406.4249","version":2},"attestation_state":"computed","paper":{"title":"Discounting in LTL","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"cs.LO","authors_text":"Orna Kupferman, Shaull Almagor, Udi Boker","submitted_at":"2014-06-17T06:27:04Z","abstract_excerpt":"In recent years, there is growing need and interest in formalizing and reasoning about the quality of software and hardware systems. As opposed to traditional verification, where one handles the question of whether a system satisfies, or not, a given specification, reasoning about quality addresses the question of \\emph{how well} the system satisfies the specification. One direction in this effort is to refine the \"eventually\" operators of temporal logic to {\\em discounting operators}: the satisfaction value of a specification is a value in $[0,1]$, where the longer it takes to fulfill eventua"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1406.4249","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-06-17T06:27:04Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"8a725fbfeea6a8285ee5f43dfb2b046df68b04f4166b3adc4f75e50319f1e597","abstract_canon_sha256":"651aa4d5fe416fe0eafef95f35060be3a239fa7c0c55f927d9f278faa804a606"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:34:44.865681Z","signature_b64":"YrNG0sFpP42VN+TmCwIGS1RviFh0hgcp/QrGLGRPE0TkYrFDRoVOOuMgCh0+qh/r3vOnqFpqXJ3geKsAnnp0BA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3ad344ef4689176fdfc4bfa0abdaa7ac7772cdda7e4b53c73ca1cb14407bd697","last_reissued_at":"2026-05-18T02:34:44.865247Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:34:44.865247Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Discounting in LTL","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"cs.LO","authors_text":"Orna Kupferman, Shaull Almagor, Udi Boker","submitted_at":"2014-06-17T06:27:04Z","abstract_excerpt":"In recent years, there is growing need and interest in formalizing and reasoning about the quality of software and hardware systems. As opposed to traditional verification, where one handles the question of whether a system satisfies, or not, a given specification, reasoning about quality addresses the question of \\emph{how well} the system satisfies the specification. One direction in this effort is to refine the \"eventually\" operators of temporal logic to {\\em discounting operators}: the satisfaction value of a specification is a value in $[0,1]$, where the longer it takes to fulfill eventua"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1406.4249","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1406.4249","created_at":"2026-05-18T02:34:44.865324+00:00"},{"alias_kind":"arxiv_version","alias_value":"1406.4249v2","created_at":"2026-05-18T02:34:44.865324+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1406.4249","created_at":"2026-05-18T02:34:44.865324+00:00"},{"alias_kind":"pith_short_12","alias_value":"HLJUJ32GRELW","created_at":"2026-05-18T12:28:30.664211+00:00"},{"alias_kind":"pith_short_16","alias_value":"HLJUJ32GRELW7X6E","created_at":"2026-05-18T12:28:30.664211+00:00"},{"alias_kind":"pith_short_8","alias_value":"HLJUJ32G","created_at":"2026-05-18T12:28:30.664211+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/HLJUJ32GRELW7X6EX6QKXWVHVR","json":"https://pith.science/pith/HLJUJ32GRELW7X6EX6QKXWVHVR.json","graph_json":"https://pith.science/api/pith-number/HLJUJ32GRELW7X6EX6QKXWVHVR/graph.json","events_json":"https://pith.science/api/pith-number/HLJUJ32GRELW7X6EX6QKXWVHVR/events.json","paper":"https://pith.science/paper/HLJUJ32G"},"agent_actions":{"view_html":"https://pith.science/pith/HLJUJ32GRELW7X6EX6QKXWVHVR","download_json":"https://pith.science/pith/HLJUJ32GRELW7X6EX6QKXWVHVR.json","view_paper":"https://pith.science/paper/HLJUJ32G","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1406.4249&json=true","fetch_graph":"https://pith.science/api/pith-number/HLJUJ32GRELW7X6EX6QKXWVHVR/graph.json","fetch_events":"https://pith.science/api/pith-number/HLJUJ32GRELW7X6EX6QKXWVHVR/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/HLJUJ32GRELW7X6EX6QKXWVHVR/action/timestamp_anchor","attest_storage":"https://pith.science/pith/HLJUJ32GRELW7X6EX6QKXWVHVR/action/storage_attestation","attest_author":"https://pith.science/pith/HLJUJ32GRELW7X6EX6QKXWVHVR/action/author_attestation","sign_citation":"https://pith.science/pith/HLJUJ32GRELW7X6EX6QKXWVHVR/action/citation_signature","submit_replication":"https://pith.science/pith/HLJUJ32GRELW7X6EX6QKXWVHVR/action/replication_record"}},"created_at":"2026-05-18T02:34:44.865324+00:00","updated_at":"2026-05-18T02:34:44.865324+00:00"}