{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:IVYXM7MTLRF3T7LB626YETQQBF","short_pith_number":"pith:IVYXM7MT","canonical_record":{"source":{"id":"1504.07838","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2015-04-29T12:51:03Z","cross_cats_sorted":[],"title_canon_sha256":"7d9227b24d0b3fe80ced428ede527f451568328108698e33921f1e00647fdd60","abstract_canon_sha256":"515befed5c2e1f45bbeeb07af5755a2dbd055991489e764064bc0a0db3e456c8"},"schema_version":"1.0"},"canonical_sha256":"4571767d935c4bb9fd61f6bd824e10095b11d28a4e6090f71a467212cdf1afe9","source":{"kind":"arxiv","id":"1504.07838","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1504.07838","created_at":"2026-05-18T01:09:47Z"},{"alias_kind":"arxiv_version","alias_value":"1504.07838v1","created_at":"2026-05-18T01:09:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1504.07838","created_at":"2026-05-18T01:09:47Z"},{"alias_kind":"pith_short_12","alias_value":"IVYXM7MTLRF3","created_at":"2026-05-18T12:29:25Z"},{"alias_kind":"pith_short_16","alias_value":"IVYXM7MTLRF3T7LB","created_at":"2026-05-18T12:29:25Z"},{"alias_kind":"pith_short_8","alias_value":"IVYXM7MT","created_at":"2026-05-18T12:29:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:IVYXM7MTLRF3T7LB626YETQQBF","target":"record","payload":{"canonical_record":{"source":{"id":"1504.07838","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2015-04-29T12:51:03Z","cross_cats_sorted":[],"title_canon_sha256":"7d9227b24d0b3fe80ced428ede527f451568328108698e33921f1e00647fdd60","abstract_canon_sha256":"515befed5c2e1f45bbeeb07af5755a2dbd055991489e764064bc0a0db3e456c8"},"schema_version":"1.0"},"canonical_sha256":"4571767d935c4bb9fd61f6bd824e10095b11d28a4e6090f71a467212cdf1afe9","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:09:47.060009Z","signature_b64":"f1vFSXyZT48Nbb2rOIuaY2WiGZFBouBdPswA5k2/VLpGAGsl0Ss/YhtTKM6wjVIFui1Mk2p9I4faj8xW/GT5Bw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4571767d935c4bb9fd61f6bd824e10095b11d28a4e6090f71a467212cdf1afe9","last_reissued_at":"2026-05-18T01:09:47.059292Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:09:47.059292Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1504.07838","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-18T01:09:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gW2/8/X++NEF/rNgfhIH8l3CO3HLJqVYHyZJT7Gn1pjpG/wt9hbPwOsm40UJBfHu9mSDyl7iZPeQhCEWOkXZBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T23:17:17.958479Z"},"content_sha256":"c3695f9f0b83019582cb7e3857c9b73dcaeb2b73a93153cd5de13616aae65168","schema_version":"1.0","event_id":"sha256:c3695f9f0b83019582cb7e3857c9b73dcaeb2b73a93153cd5de13616aae65168"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:IVYXM7MTLRF3T7LB626YETQQBF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Language Emptiness of Continuous-Time Parametric Timed Automata","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Ji\\v{r}\\'i Srba, Kim G. Larsen, Nikola Bene\\v{s}, Peter Bezd\\v{e}k","submitted_at":"2015-04-29T12:51:03Z","abstract_excerpt":"Parametric timed automata extend the standard timed automata with the possibility to use parameters in the clock guards. In general, if the parameters are real-valued, the problem of language emptiness of such automata is undecidable even for various restricted subclasses. We thus focus on the case where parameters are assumed to be integer-valued, while the time still remains continuous. On the one hand, we show that the problem remains undecidable for parametric timed automata with three clocks and one parameter. On the other hand, for the case with arbitrary many clocks where only one of th"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1504.07838","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-18T01:09:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5inqw0I9WjJZ9ZYqOCTX7p1250Hh8wtf3tPBcnml5gCYdGIujxiCX8gV/8NKpvBnrd5Ev0r36E9qmUQfoj1mBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T23:17:17.959165Z"},"content_sha256":"cb979570c08dffdd6bd143bfe6dc37539409495ed73fe573b289f0a5b014389a","schema_version":"1.0","event_id":"sha256:cb979570c08dffdd6bd143bfe6dc37539409495ed73fe573b289f0a5b014389a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/IVYXM7MTLRF3T7LB626YETQQBF/bundle.json","state_url":"https://pith.science/pith/IVYXM7MTLRF3T7LB626YETQQBF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/IVYXM7MTLRF3T7LB626YETQQBF/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-26T23:17:17Z","links":{"resolver":"https://pith.science/pith/IVYXM7MTLRF3T7LB626YETQQBF","bundle":"https://pith.science/pith/IVYXM7MTLRF3T7LB626YETQQBF/bundle.json","state":"https://pith.science/pith/IVYXM7MTLRF3T7LB626YETQQBF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/IVYXM7MTLRF3T7LB626YETQQBF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:IVYXM7MTLRF3T7LB626YETQQBF","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":"515befed5c2e1f45bbeeb07af5755a2dbd055991489e764064bc0a0db3e456c8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2015-04-29T12:51:03Z","title_canon_sha256":"7d9227b24d0b3fe80ced428ede527f451568328108698e33921f1e00647fdd60"},"schema_version":"1.0","source":{"id":"1504.07838","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1504.07838","created_at":"2026-05-18T01:09:47Z"},{"alias_kind":"arxiv_version","alias_value":"1504.07838v1","created_at":"2026-05-18T01:09:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1504.07838","created_at":"2026-05-18T01:09:47Z"},{"alias_kind":"pith_short_12","alias_value":"IVYXM7MTLRF3","created_at":"2026-05-18T12:29:25Z"},{"alias_kind":"pith_short_16","alias_value":"IVYXM7MTLRF3T7LB","created_at":"2026-05-18T12:29:25Z"},{"alias_kind":"pith_short_8","alias_value":"IVYXM7MT","created_at":"2026-05-18T12:29:25Z"}],"graph_snapshots":[{"event_id":"sha256:cb979570c08dffdd6bd143bfe6dc37539409495ed73fe573b289f0a5b014389a","target":"graph","created_at":"2026-05-18T01:09:47Z","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":"Parametric timed automata extend the standard timed automata with the possibility to use parameters in the clock guards. In general, if the parameters are real-valued, the problem of language emptiness of such automata is undecidable even for various restricted subclasses. We thus focus on the case where parameters are assumed to be integer-valued, while the time still remains continuous. On the one hand, we show that the problem remains undecidable for parametric timed automata with three clocks and one parameter. On the other hand, for the case with arbitrary many clocks where only one of th","authors_text":"Ji\\v{r}\\'i Srba, Kim G. Larsen, Nikola Bene\\v{s}, Peter Bezd\\v{e}k","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2015-04-29T12:51:03Z","title":"Language Emptiness of Continuous-Time Parametric Timed Automata"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1504.07838","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:c3695f9f0b83019582cb7e3857c9b73dcaeb2b73a93153cd5de13616aae65168","target":"record","created_at":"2026-05-18T01:09:47Z","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":"515befed5c2e1f45bbeeb07af5755a2dbd055991489e764064bc0a0db3e456c8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2015-04-29T12:51:03Z","title_canon_sha256":"7d9227b24d0b3fe80ced428ede527f451568328108698e33921f1e00647fdd60"},"schema_version":"1.0","source":{"id":"1504.07838","kind":"arxiv","version":1}},"canonical_sha256":"4571767d935c4bb9fd61f6bd824e10095b11d28a4e6090f71a467212cdf1afe9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4571767d935c4bb9fd61f6bd824e10095b11d28a4e6090f71a467212cdf1afe9","first_computed_at":"2026-05-18T01:09:47.059292Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:09:47.059292Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"f1vFSXyZT48Nbb2rOIuaY2WiGZFBouBdPswA5k2/VLpGAGsl0Ss/YhtTKM6wjVIFui1Mk2p9I4faj8xW/GT5Bw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:09:47.060009Z","signed_message":"canonical_sha256_bytes"},"source_id":"1504.07838","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c3695f9f0b83019582cb7e3857c9b73dcaeb2b73a93153cd5de13616aae65168","sha256:cb979570c08dffdd6bd143bfe6dc37539409495ed73fe573b289f0a5b014389a"],"state_sha256":"4a8b277407720452dd9130f8f5ed8da52bef1ac50eebb0c3daf0ab528fbaf1f1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JLqGzFg5ncOIsVQS2UubyczZ/5dB+73+npGKEOvLixAzuG9oDA4wJfN5Sb4s3om8IJ8MukDlNxoccpe/Rr3bAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T23:17:17.963069Z","bundle_sha256":"bb016d553980884c5f55d785ef5d5d76c21655bebeb7063e5f47fe40d2315a8f"}}