{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:PHYUVK22SQVMBYULTI5ABNSDTN","short_pith_number":"pith:PHYUVK22","schema_version":"1.0","canonical_sha256":"79f14aab5a942ac0e28b9a3a00b6439b54b8ab8739a8cf5649d9e92701224f47","source":{"kind":"arxiv","id":"1804.03121","version":2},"attestation_state":"computed","paper":{"title":"Full version: An evaluation of estimation techniques for probabilistic reachability","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Mariia Vasileva, Paolo Zuliani","submitted_at":"2018-04-09T17:40:09Z","abstract_excerpt":"We evaluate numerically-precise Monte Carlo (MC), Quasi-Monte Carlo (QMC) and Randomised Quasi-Monte Carlo (RQMC) methods for computing probabilistic reachability in hybrid systems with random parameters. Computing reachability probability amounts to computing (multidimensional) integrals. In particular, we pay attention to QMC methods due to their theoretical benefits in convergence speed with respect to the MC method. The Koksma-Hlawka inequality is a standard result that bounds the approximation of an integral by QMC techniques. However, it is not useful in practice because it depends on th"},"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":"1804.03121","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-04-09T17:40:09Z","cross_cats_sorted":[],"title_canon_sha256":"e0f987c912959eed594adaf8f8c2db75b9be5ff275174265229aba49b2546a1c","abstract_canon_sha256":"d83ba246bf44705be62e426681fe8d2a8cc2bcdff08a70ab6af498d22ee5b8ab"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:18:35.455870Z","signature_b64":"iN0FtWiLwByCuyZyujnyuUVPRbHLmatWwo7PKZL/W1tRUt6IrRivA71I4xZILW0UNT32rV/Mm0pjzmnowZ50Dw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"79f14aab5a942ac0e28b9a3a00b6439b54b8ab8739a8cf5649d9e92701224f47","last_reissued_at":"2026-05-18T00:18:35.455182Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:18:35.455182Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Full version: An evaluation of estimation techniques for probabilistic reachability","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Mariia Vasileva, Paolo Zuliani","submitted_at":"2018-04-09T17:40:09Z","abstract_excerpt":"We evaluate numerically-precise Monte Carlo (MC), Quasi-Monte Carlo (QMC) and Randomised Quasi-Monte Carlo (RQMC) methods for computing probabilistic reachability in hybrid systems with random parameters. Computing reachability probability amounts to computing (multidimensional) integrals. In particular, we pay attention to QMC methods due to their theoretical benefits in convergence speed with respect to the MC method. The Koksma-Hlawka inequality is a standard result that bounds the approximation of an integral by QMC techniques. However, it is not useful in practice because it depends on th"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.03121","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":"1804.03121","created_at":"2026-05-18T00:18:35.455271+00:00"},{"alias_kind":"arxiv_version","alias_value":"1804.03121v2","created_at":"2026-05-18T00:18:35.455271+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.03121","created_at":"2026-05-18T00:18:35.455271+00:00"},{"alias_kind":"pith_short_12","alias_value":"PHYUVK22SQVM","created_at":"2026-05-18T12:32:43.782077+00:00"},{"alias_kind":"pith_short_16","alias_value":"PHYUVK22SQVMBYUL","created_at":"2026-05-18T12:32:43.782077+00:00"},{"alias_kind":"pith_short_8","alias_value":"PHYUVK22","created_at":"2026-05-18T12:32:43.782077+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/PHYUVK22SQVMBYULTI5ABNSDTN","json":"https://pith.science/pith/PHYUVK22SQVMBYULTI5ABNSDTN.json","graph_json":"https://pith.science/api/pith-number/PHYUVK22SQVMBYULTI5ABNSDTN/graph.json","events_json":"https://pith.science/api/pith-number/PHYUVK22SQVMBYULTI5ABNSDTN/events.json","paper":"https://pith.science/paper/PHYUVK22"},"agent_actions":{"view_html":"https://pith.science/pith/PHYUVK22SQVMBYULTI5ABNSDTN","download_json":"https://pith.science/pith/PHYUVK22SQVMBYULTI5ABNSDTN.json","view_paper":"https://pith.science/paper/PHYUVK22","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1804.03121&json=true","fetch_graph":"https://pith.science/api/pith-number/PHYUVK22SQVMBYULTI5ABNSDTN/graph.json","fetch_events":"https://pith.science/api/pith-number/PHYUVK22SQVMBYULTI5ABNSDTN/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/PHYUVK22SQVMBYULTI5ABNSDTN/action/timestamp_anchor","attest_storage":"https://pith.science/pith/PHYUVK22SQVMBYULTI5ABNSDTN/action/storage_attestation","attest_author":"https://pith.science/pith/PHYUVK22SQVMBYULTI5ABNSDTN/action/author_attestation","sign_citation":"https://pith.science/pith/PHYUVK22SQVMBYULTI5ABNSDTN/action/citation_signature","submit_replication":"https://pith.science/pith/PHYUVK22SQVMBYULTI5ABNSDTN/action/replication_record"}},"created_at":"2026-05-18T00:18:35.455271+00:00","updated_at":"2026-05-18T00:18:35.455271+00:00"}