{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:E3FBSKNB7SI32SDJTBVCCCJL55","short_pith_number":"pith:E3FBSKNB","schema_version":"1.0","canonical_sha256":"26ca1929a1fc91bd4869986a21092bef659654cbf96316959c7f50836c8b1f9e","source":{"kind":"arxiv","id":"1402.1450","version":2},"attestation_state":"computed","paper":{"title":"Smoothed Model Checking for Uncertain Continuous Time Markov Chains","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"cs.LO","authors_text":"Dimitrios Milios, Guido Sanguinetti, Luca Bortolussi","submitted_at":"2014-02-06T18:23:28Z","abstract_excerpt":"We consider the problem of computing the satisfaction probability of a formula for stochastic models with parametric uncertainty. We show that this satisfaction probability is a smooth function of the model parameters. This enables us to devise a novel Bayesian statistical algorithm which performs statistical model checking simultaneously for all values of the model parameters from observations of truth values of the formula over individual runs of the model at isolated parameter values. This is achieved by exploiting the smoothness of the satisfaction function: by modelling explicitly correla"},"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":"1402.1450","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-02-06T18:23:28Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"d922ae430a04ec22f7a84ab2672f924cf944fea919e104c7379940a450b14eba","abstract_canon_sha256":"2f2f3e074384f2fd94d1df4c6277cdd17894fd3561d076dc208ceec06a2cbfa2"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:39:38.215404Z","signature_b64":"ooX/RO0jy2nbx3+WsVMjbls8EuTw/CHMC9ZSXO13wUgnFN+GuJmBNrw3fBOrBah7nV3iR4YwaHKcc1UQg9lBDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"26ca1929a1fc91bd4869986a21092bef659654cbf96316959c7f50836c8b1f9e","last_reissued_at":"2026-05-18T02:39:38.214951Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:39:38.214951Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Smoothed Model Checking for Uncertain Continuous Time Markov Chains","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"cs.LO","authors_text":"Dimitrios Milios, Guido Sanguinetti, Luca Bortolussi","submitted_at":"2014-02-06T18:23:28Z","abstract_excerpt":"We consider the problem of computing the satisfaction probability of a formula for stochastic models with parametric uncertainty. We show that this satisfaction probability is a smooth function of the model parameters. This enables us to devise a novel Bayesian statistical algorithm which performs statistical model checking simultaneously for all values of the model parameters from observations of truth values of the formula over individual runs of the model at isolated parameter values. This is achieved by exploiting the smoothness of the satisfaction function: by modelling explicitly correla"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1402.1450","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":"1402.1450","created_at":"2026-05-18T02:39:38.215025+00:00"},{"alias_kind":"arxiv_version","alias_value":"1402.1450v2","created_at":"2026-05-18T02:39:38.215025+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1402.1450","created_at":"2026-05-18T02:39:38.215025+00:00"},{"alias_kind":"pith_short_12","alias_value":"E3FBSKNB7SI3","created_at":"2026-05-18T12:28:25.294606+00:00"},{"alias_kind":"pith_short_16","alias_value":"E3FBSKNB7SI32SDJ","created_at":"2026-05-18T12:28:25.294606+00:00"},{"alias_kind":"pith_short_8","alias_value":"E3FBSKNB","created_at":"2026-05-18T12:28:25.294606+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/E3FBSKNB7SI32SDJTBVCCCJL55","json":"https://pith.science/pith/E3FBSKNB7SI32SDJTBVCCCJL55.json","graph_json":"https://pith.science/api/pith-number/E3FBSKNB7SI32SDJTBVCCCJL55/graph.json","events_json":"https://pith.science/api/pith-number/E3FBSKNB7SI32SDJTBVCCCJL55/events.json","paper":"https://pith.science/paper/E3FBSKNB"},"agent_actions":{"view_html":"https://pith.science/pith/E3FBSKNB7SI32SDJTBVCCCJL55","download_json":"https://pith.science/pith/E3FBSKNB7SI32SDJTBVCCCJL55.json","view_paper":"https://pith.science/paper/E3FBSKNB","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1402.1450&json=true","fetch_graph":"https://pith.science/api/pith-number/E3FBSKNB7SI32SDJTBVCCCJL55/graph.json","fetch_events":"https://pith.science/api/pith-number/E3FBSKNB7SI32SDJTBVCCCJL55/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/E3FBSKNB7SI32SDJTBVCCCJL55/action/timestamp_anchor","attest_storage":"https://pith.science/pith/E3FBSKNB7SI32SDJTBVCCCJL55/action/storage_attestation","attest_author":"https://pith.science/pith/E3FBSKNB7SI32SDJTBVCCCJL55/action/author_attestation","sign_citation":"https://pith.science/pith/E3FBSKNB7SI32SDJTBVCCCJL55/action/citation_signature","submit_replication":"https://pith.science/pith/E3FBSKNB7SI32SDJTBVCCCJL55/action/replication_record"}},"created_at":"2026-05-18T02:39:38.215025+00:00","updated_at":"2026-05-18T02:39:38.215025+00:00"}