{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:APIPVN7YO32ONH3BOQAZ4MAFJV","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":"5e23bf821217be1eb48fcd3106578d703e5fa2a62a90142dbb448a15185217a5","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-01-22T16:30:43Z","title_canon_sha256":"741ea11dce99b72aa2736038eebcfca04a534bf1282b7a0c18ffd95788f4dd01"},"schema_version":"1.0","source":{"id":"1501.05561","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1501.05561","created_at":"2026-05-18T01:37:49Z"},{"alias_kind":"arxiv_version","alias_value":"1501.05561v2","created_at":"2026-05-18T01:37:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1501.05561","created_at":"2026-05-18T01:37:49Z"},{"alias_kind":"pith_short_12","alias_value":"APIPVN7YO32O","created_at":"2026-05-18T12:29:10Z"},{"alias_kind":"pith_short_16","alias_value":"APIPVN7YO32ONH3B","created_at":"2026-05-18T12:29:10Z"},{"alias_kind":"pith_short_8","alias_value":"APIPVN7Y","created_at":"2026-05-18T12:29:10Z"}],"graph_snapshots":[{"event_id":"sha256:5d9a825af89e66360e26e7eff6995ea7b872ee9c85dd2937d4b66f7c0b340624","target":"graph","created_at":"2026-05-18T01:37:49Z","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":"We study frequency linear-time temporal logic (fLTL) which extends the linear-time temporal logic (LTL) with a path operator $G^p$ expressing that on a path, certain formula holds with at least a given frequency p, thus relaxing the semantics of the usual G operator of LTL. Such logic is particularly useful in probabilistic systems, where some undesirable events such as random failures may occur and are acceptable if they are rare enough.\n  Frequency-related extensions of LTL have been previously studied by several authors, where mostly the logic is equipped with an extended \"until\" and \"globa","authors_text":"Jan Kr\\v{c}\\'al, Vojt\\v{e}ch Forejt","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-01-22T16:30:43Z","title":"On Frequency LTL in Probabilistic Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1501.05561","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:9e5480f5de701f9a1729952c832f4808b4dcdf2b11f9f599690ad9dbd30f6f4d","target":"record","created_at":"2026-05-18T01:37:49Z","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":"5e23bf821217be1eb48fcd3106578d703e5fa2a62a90142dbb448a15185217a5","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-01-22T16:30:43Z","title_canon_sha256":"741ea11dce99b72aa2736038eebcfca04a534bf1282b7a0c18ffd95788f4dd01"},"schema_version":"1.0","source":{"id":"1501.05561","kind":"arxiv","version":2}},"canonical_sha256":"03d0fab7f876f4e69f6174019e30054d623c96c5c8d45823d64023afb5222665","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"03d0fab7f876f4e69f6174019e30054d623c96c5c8d45823d64023afb5222665","first_computed_at":"2026-05-18T01:37:49.137360Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:37:49.137360Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"8cGNaDyAp4sur/BS1RFJHj/qcD5pc0E0GQGNFOjahnpGgd6b7kFyQ9FizWwS0DIEJiMVs9qEVjIqyV1uxM4WDg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:37:49.137823Z","signed_message":"canonical_sha256_bytes"},"source_id":"1501.05561","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9e5480f5de701f9a1729952c832f4808b4dcdf2b11f9f599690ad9dbd30f6f4d","sha256:5d9a825af89e66360e26e7eff6995ea7b872ee9c85dd2937d4b66f7c0b340624"],"state_sha256":"91b90b5625928742caed272c1ad908d6aa495e6d08f0c6bc34c535c410f33893"}