{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:C6V3A2BEWNBCA47TFX7SUDJMVS","short_pith_number":"pith:C6V3A2BE","canonical_record":{"source":{"id":"1210.4787","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2012-10-17T16:28:57Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"f0ae0da22d1efc5e5da7d9e9f0af0a06884d2610cae42a06313370981311d202","abstract_canon_sha256":"11008beae4e82503b57a3fd250a01b48bb4f36e181510ec9cf30ad1b6a683d15"},"schema_version":"1.0"},"canonical_sha256":"17abb06824b3422073f32dff2a0d2cac8233066ded6394535cafd207546c8b42","source":{"kind":"arxiv","id":"1210.4787","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1210.4787","created_at":"2026-05-18T03:34:48Z"},{"alias_kind":"arxiv_version","alias_value":"1210.4787v3","created_at":"2026-05-18T03:34:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1210.4787","created_at":"2026-05-18T03:34:48Z"},{"alias_kind":"pith_short_12","alias_value":"C6V3A2BEWNBC","created_at":"2026-05-18T12:27:01Z"},{"alias_kind":"pith_short_16","alias_value":"C6V3A2BEWNBCA47T","created_at":"2026-05-18T12:27:01Z"},{"alias_kind":"pith_short_8","alias_value":"C6V3A2BE","created_at":"2026-05-18T12:27:01Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:C6V3A2BEWNBCA47TFX7SUDJMVS","target":"record","payload":{"canonical_record":{"source":{"id":"1210.4787","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2012-10-17T16:28:57Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"f0ae0da22d1efc5e5da7d9e9f0af0a06884d2610cae42a06313370981311d202","abstract_canon_sha256":"11008beae4e82503b57a3fd250a01b48bb4f36e181510ec9cf30ad1b6a683d15"},"schema_version":"1.0"},"canonical_sha256":"17abb06824b3422073f32dff2a0d2cac8233066ded6394535cafd207546c8b42","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:34:48.060072Z","signature_b64":"QWVrncJany5aVUKW1siCGO5ZE4FZEu02ilr9z8g+0lgcUP8HJ468/qRro2ACfTNSSG9z79OllHMjlWyIB6SsBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"17abb06824b3422073f32dff2a0d2cac8233066ded6394535cafd207546c8b42","last_reissued_at":"2026-05-18T03:34:48.059463Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:34:48.059463Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1210.4787","source_version":3,"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:34:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"f5n+8fBpy5wkDh2ZXlXLEjN0JU8Xr2HS7OcKHYK8hgqLEGv9vJ8ovbm+stsqXkMimOtKsp+evuN0IBFYCwoZDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T09:08:22.054488Z"},"content_sha256":"68b73c472bdb9d8e59f3a934e3eda4e96a33187dfc51fc8eb5843748c6223974","schema_version":"1.0","event_id":"sha256:68b73c472bdb9d8e59f3a934e3eda4e96a33187dfc51fc8eb5843748c6223974"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:C6V3A2BEWNBCA47TFX7SUDJMVS","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Approximating Acceptance Probabilities of CTMC-Paths on Multi-Clock Deterministic Timed Automata","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"cs.SY","authors_text":"Hongfei Fu","submitted_at":"2012-10-17T16:28:57Z","abstract_excerpt":"We consider the problem of approximating the probability mass of the set of timed paths under a continuous-time Markov chain (CTMC) that are accepted by a deterministic timed automaton (DTA). As opposed to several existing works on this topic, we consider DTA with multiple clocks. Our key contribution is an algorithm to approximate these probabilities using finite difference methods. An error bound is provided which indicates the approximation error. The stepping stones towards this result include rigorous proofs for the measurability of the set of accepted paths and the integral-equation syst"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1210.4787","kind":"arxiv","version":3},"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:34:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uHiCkQDSR/HF/vZiOwJsZFXZIzsKFyLxt1CLiPhuaVERJT8vdPBOhOgatmckAudYrdLb+9LK3iEIZmkpjy7tBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T09:08:22.054858Z"},"content_sha256":"82bb2e863182c9b1e9ad2f18f7e682774ce6e0691797c2e92803190cfd2b058a","schema_version":"1.0","event_id":"sha256:82bb2e863182c9b1e9ad2f18f7e682774ce6e0691797c2e92803190cfd2b058a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/C6V3A2BEWNBCA47TFX7SUDJMVS/bundle.json","state_url":"https://pith.science/pith/C6V3A2BEWNBCA47TFX7SUDJMVS/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/C6V3A2BEWNBCA47TFX7SUDJMVS/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-27T09:08:22Z","links":{"resolver":"https://pith.science/pith/C6V3A2BEWNBCA47TFX7SUDJMVS","bundle":"https://pith.science/pith/C6V3A2BEWNBCA47TFX7SUDJMVS/bundle.json","state":"https://pith.science/pith/C6V3A2BEWNBCA47TFX7SUDJMVS/state.json","well_known_bundle":"https://pith.science/.well-known/pith/C6V3A2BEWNBCA47TFX7SUDJMVS/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:C6V3A2BEWNBCA47TFX7SUDJMVS","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":"11008beae4e82503b57a3fd250a01b48bb4f36e181510ec9cf30ad1b6a683d15","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2012-10-17T16:28:57Z","title_canon_sha256":"f0ae0da22d1efc5e5da7d9e9f0af0a06884d2610cae42a06313370981311d202"},"schema_version":"1.0","source":{"id":"1210.4787","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1210.4787","created_at":"2026-05-18T03:34:48Z"},{"alias_kind":"arxiv_version","alias_value":"1210.4787v3","created_at":"2026-05-18T03:34:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1210.4787","created_at":"2026-05-18T03:34:48Z"},{"alias_kind":"pith_short_12","alias_value":"C6V3A2BEWNBC","created_at":"2026-05-18T12:27:01Z"},{"alias_kind":"pith_short_16","alias_value":"C6V3A2BEWNBCA47T","created_at":"2026-05-18T12:27:01Z"},{"alias_kind":"pith_short_8","alias_value":"C6V3A2BE","created_at":"2026-05-18T12:27:01Z"}],"graph_snapshots":[{"event_id":"sha256:82bb2e863182c9b1e9ad2f18f7e682774ce6e0691797c2e92803190cfd2b058a","target":"graph","created_at":"2026-05-18T03:34:48Z","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 consider the problem of approximating the probability mass of the set of timed paths under a continuous-time Markov chain (CTMC) that are accepted by a deterministic timed automaton (DTA). As opposed to several existing works on this topic, we consider DTA with multiple clocks. Our key contribution is an algorithm to approximate these probabilities using finite difference methods. An error bound is provided which indicates the approximation error. The stepping stones towards this result include rigorous proofs for the measurability of the set of accepted paths and the integral-equation syst","authors_text":"Hongfei Fu","cross_cats":["cs.FL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2012-10-17T16:28:57Z","title":"Approximating Acceptance Probabilities of CTMC-Paths on Multi-Clock Deterministic Timed Automata"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1210.4787","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:68b73c472bdb9d8e59f3a934e3eda4e96a33187dfc51fc8eb5843748c6223974","target":"record","created_at":"2026-05-18T03:34:48Z","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":"11008beae4e82503b57a3fd250a01b48bb4f36e181510ec9cf30ad1b6a683d15","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2012-10-17T16:28:57Z","title_canon_sha256":"f0ae0da22d1efc5e5da7d9e9f0af0a06884d2610cae42a06313370981311d202"},"schema_version":"1.0","source":{"id":"1210.4787","kind":"arxiv","version":3}},"canonical_sha256":"17abb06824b3422073f32dff2a0d2cac8233066ded6394535cafd207546c8b42","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"17abb06824b3422073f32dff2a0d2cac8233066ded6394535cafd207546c8b42","first_computed_at":"2026-05-18T03:34:48.059463Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:34:48.059463Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"QWVrncJany5aVUKW1siCGO5ZE4FZEu02ilr9z8g+0lgcUP8HJ468/qRro2ACfTNSSG9z79OllHMjlWyIB6SsBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:34:48.060072Z","signed_message":"canonical_sha256_bytes"},"source_id":"1210.4787","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:68b73c472bdb9d8e59f3a934e3eda4e96a33187dfc51fc8eb5843748c6223974","sha256:82bb2e863182c9b1e9ad2f18f7e682774ce6e0691797c2e92803190cfd2b058a"],"state_sha256":"4fe3d5800ad16da8ca1db6c993e3e5115c32acf5f7d9f6a6166663091580dd85"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MBQxjarhlYG49ffhs3CqEHArkXtdJuITLLx1DBrw4Mkr0Dw9gsnyME892fxTu4zQ21Ft4sw3bD8aoE86dAVJAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T09:08:22.057447Z","bundle_sha256":"d22e2db20d23b89375be6b25bfd395601232c38eb8b606eb101f459ef99701fd"}}