{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:HA6X7VVC6VMYDQQMS26QXXCMYX","short_pith_number":"pith:HA6X7VVC","canonical_record":{"source":{"id":"1309.2842","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2013-09-11T14:33:19Z","cross_cats_sorted":[],"title_canon_sha256":"96430955b834a6ed74a7b3101176791d3571c6712efb775982bc37cc59b76dae","abstract_canon_sha256":"bfc8ccb715f3cb163b835e6d37e640afe49fb70fa96896fcba19e49180d8c4fc"},"schema_version":"1.0"},"canonical_sha256":"383d7fd6a2f55981c20c96bd0bdc4cc5f3816e9ff166dc7f0bc971788514a2fd","source":{"kind":"arxiv","id":"1309.2842","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1309.2842","created_at":"2026-05-18T03:13:34Z"},{"alias_kind":"arxiv_version","alias_value":"1309.2842v1","created_at":"2026-05-18T03:13:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1309.2842","created_at":"2026-05-18T03:13:34Z"},{"alias_kind":"pith_short_12","alias_value":"HA6X7VVC6VMY","created_at":"2026-05-18T12:27:46Z"},{"alias_kind":"pith_short_16","alias_value":"HA6X7VVC6VMYDQQM","created_at":"2026-05-18T12:27:46Z"},{"alias_kind":"pith_short_8","alias_value":"HA6X7VVC","created_at":"2026-05-18T12:27:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:HA6X7VVC6VMYDQQMS26QXXCMYX","target":"record","payload":{"canonical_record":{"source":{"id":"1309.2842","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2013-09-11T14:33:19Z","cross_cats_sorted":[],"title_canon_sha256":"96430955b834a6ed74a7b3101176791d3571c6712efb775982bc37cc59b76dae","abstract_canon_sha256":"bfc8ccb715f3cb163b835e6d37e640afe49fb70fa96896fcba19e49180d8c4fc"},"schema_version":"1.0"},"canonical_sha256":"383d7fd6a2f55981c20c96bd0bdc4cc5f3816e9ff166dc7f0bc971788514a2fd","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:13:34.708821Z","signature_b64":"2alBk8E7cEXh4Cyo853yXVi3QDiMHryi8icW/bYl6a7AuxDNDcVshZfhdQ5uxa0Mb8ynXn6fBaqov0DggxPyCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"383d7fd6a2f55981c20c96bd0bdc4cc5f3816e9ff166dc7f0bc971788514a2fd","last_reissued_at":"2026-05-18T03:13:34.708295Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:13:34.708295Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1309.2842","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-18T03:13:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eS9BHYbu6nzUN/TCYXT3fhP4Vg0Zjx5bw71S2FsYaKRbqYcLhFCyOPd07tfjB+qgbIrQME8pWFY6ubGQzflzCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T13:11:09.334986Z"},"content_sha256":"4ca8b512d9a7193c9121dc7c4c13f38861a9aa9bdd2ae8a82145d7fe69581a75","schema_version":"1.0","event_id":"sha256:4ca8b512d9a7193c9121dc7c4c13f38861a9aa9bdd2ae8a82145d7fe69581a75"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:HA6X7VVC6VMYDQQMS26QXXCMYX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Emptiness and Universality Problems in Timed Automata with Positive Frequency","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Amelie Stainer, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye","submitted_at":"2013-09-11T14:33:19Z","abstract_excerpt":"The languages of infinite timed words accepted by timed automata are traditionally defined using Buchi-like conditions. These acceptance conditions focus on the set of locations visited infinitely often along a run, but completely ignore quantitative timing aspects. In this paper we propose a natural quantitative semantics for timed automata based on the so-called frequency, which measures the proportion of time spent in the accepting locations. We study various properties of timed languages accepted with positive frequency, and in particular the emptiness and universality problems."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1309.2842","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-18T03:13:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+4CSW/G0DpCPw3aEXLSPQT1/Nm2cmMWut11z+cZ5FeTy9T/HOj5CTHjHan+TUlL+uHIH8Sk3wdVsheZShlxPBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T13:11:09.335749Z"},"content_sha256":"aeb25ee317987c50751234ae07d30785418b9ecab3c705e9fd53b52d61d89256","schema_version":"1.0","event_id":"sha256:aeb25ee317987c50751234ae07d30785418b9ecab3c705e9fd53b52d61d89256"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HA6X7VVC6VMYDQQMS26QXXCMYX/bundle.json","state_url":"https://pith.science/pith/HA6X7VVC6VMYDQQMS26QXXCMYX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HA6X7VVC6VMYDQQMS26QXXCMYX/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-30T13:11:09Z","links":{"resolver":"https://pith.science/pith/HA6X7VVC6VMYDQQMS26QXXCMYX","bundle":"https://pith.science/pith/HA6X7VVC6VMYDQQMS26QXXCMYX/bundle.json","state":"https://pith.science/pith/HA6X7VVC6VMYDQQMS26QXXCMYX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HA6X7VVC6VMYDQQMS26QXXCMYX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:HA6X7VVC6VMYDQQMS26QXXCMYX","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":"bfc8ccb715f3cb163b835e6d37e640afe49fb70fa96896fcba19e49180d8c4fc","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2013-09-11T14:33:19Z","title_canon_sha256":"96430955b834a6ed74a7b3101176791d3571c6712efb775982bc37cc59b76dae"},"schema_version":"1.0","source":{"id":"1309.2842","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1309.2842","created_at":"2026-05-18T03:13:34Z"},{"alias_kind":"arxiv_version","alias_value":"1309.2842v1","created_at":"2026-05-18T03:13:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1309.2842","created_at":"2026-05-18T03:13:34Z"},{"alias_kind":"pith_short_12","alias_value":"HA6X7VVC6VMY","created_at":"2026-05-18T12:27:46Z"},{"alias_kind":"pith_short_16","alias_value":"HA6X7VVC6VMYDQQM","created_at":"2026-05-18T12:27:46Z"},{"alias_kind":"pith_short_8","alias_value":"HA6X7VVC","created_at":"2026-05-18T12:27:46Z"}],"graph_snapshots":[{"event_id":"sha256:aeb25ee317987c50751234ae07d30785418b9ecab3c705e9fd53b52d61d89256","target":"graph","created_at":"2026-05-18T03:13:34Z","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":"The languages of infinite timed words accepted by timed automata are traditionally defined using Buchi-like conditions. These acceptance conditions focus on the set of locations visited infinitely often along a run, but completely ignore quantitative timing aspects. In this paper we propose a natural quantitative semantics for timed automata based on the so-called frequency, which measures the proportion of time spent in the accepting locations. We study various properties of timed languages accepted with positive frequency, and in particular the emptiness and universality problems.","authors_text":"Amelie Stainer, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2013-09-11T14:33:19Z","title":"Emptiness and Universality Problems in Timed Automata with Positive Frequency"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1309.2842","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:4ca8b512d9a7193c9121dc7c4c13f38861a9aa9bdd2ae8a82145d7fe69581a75","target":"record","created_at":"2026-05-18T03:13:34Z","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":"bfc8ccb715f3cb163b835e6d37e640afe49fb70fa96896fcba19e49180d8c4fc","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2013-09-11T14:33:19Z","title_canon_sha256":"96430955b834a6ed74a7b3101176791d3571c6712efb775982bc37cc59b76dae"},"schema_version":"1.0","source":{"id":"1309.2842","kind":"arxiv","version":1}},"canonical_sha256":"383d7fd6a2f55981c20c96bd0bdc4cc5f3816e9ff166dc7f0bc971788514a2fd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"383d7fd6a2f55981c20c96bd0bdc4cc5f3816e9ff166dc7f0bc971788514a2fd","first_computed_at":"2026-05-18T03:13:34.708295Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:13:34.708295Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"2alBk8E7cEXh4Cyo853yXVi3QDiMHryi8icW/bYl6a7AuxDNDcVshZfhdQ5uxa0Mb8ynXn6fBaqov0DggxPyCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:13:34.708821Z","signed_message":"canonical_sha256_bytes"},"source_id":"1309.2842","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4ca8b512d9a7193c9121dc7c4c13f38861a9aa9bdd2ae8a82145d7fe69581a75","sha256:aeb25ee317987c50751234ae07d30785418b9ecab3c705e9fd53b52d61d89256"],"state_sha256":"32c7d337fbd26a0f9d264b670b0d8397a6f84836dce2106f417b45d3ae57bb9d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"c5LBLtKb2qautFiw8v1q9qH2R25emac1/kmxKeJokxcRp77GmeC4SwtkjI/SsGesn0j6nJA3K5GU7kw69sr+Bw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T13:11:09.339595Z","bundle_sha256":"53b90a2426e66643be552a777fa744a0b38daeafebed92320fd718eb8a4a524e"}}