{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:F7YGUGAB6QMTTH3TLMMFTLBD2Y","short_pith_number":"pith:F7YGUGAB","schema_version":"1.0","canonical_sha256":"2ff06a1801f419399f735b1859ac23d62cf55042132d76f82bc3913d56b2918a","source":{"kind":"arxiv","id":"2506.19568","version":1},"attestation_state":"computed","paper":{"title":"Time-Sensitive Importance Splitting","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":["cs.NA","math.NA"],"primary_cat":"cs.LO","authors_text":"Arnd Hartmanns, Carlos E. Budde, Gabriel Dengler, Laura Carnevali","submitted_at":"2025-06-24T12:30:01Z","abstract_excerpt":"State-of-the-art methods for rare event simulation of non-Markovian models face practical or theoretical limits if observing the event of interest requires prior knowledge or information on the timed behavior of the system. In this paper, we attack both limits by extending importance splitting with a time-sensitive importance function. To this end, we perform backwards reachability search from the target states, considering information about the lower and upper bounds of the active timers in order to steer the generation of paths towards the rare event. We have developed a prototype implementa"},"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":"2506.19568","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.LO","submitted_at":"2025-06-24T12:30:01Z","cross_cats_sorted":["cs.NA","math.NA"],"title_canon_sha256":"4d50d6b11226a31cea028f5ea2bc53dc1642a94fdea1ec334a7d0c6661fcb5e3","abstract_canon_sha256":"973c7f246d272e3ab6269af60f248dddfd7bf2294444ebd5178687b44ed3a0ad"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:26:34.758264Z","signature_b64":"gpFmZ406qap/aAUHdxQReOVOlWvKjPwfx5hOKFsUdbivjTglsAhhCNUjYqvdstT37Gr7hf72SzWkFOeISykWAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2ff06a1801f419399f735b1859ac23d62cf55042132d76f82bc3913d56b2918a","last_reissued_at":"2026-07-05T11:26:34.757774Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:26:34.757774Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Time-Sensitive Importance Splitting","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":["cs.NA","math.NA"],"primary_cat":"cs.LO","authors_text":"Arnd Hartmanns, Carlos E. Budde, Gabriel Dengler, Laura Carnevali","submitted_at":"2025-06-24T12:30:01Z","abstract_excerpt":"State-of-the-art methods for rare event simulation of non-Markovian models face practical or theoretical limits if observing the event of interest requires prior knowledge or information on the timed behavior of the system. In this paper, we attack both limits by extending importance splitting with a time-sensitive importance function. To this end, we perform backwards reachability search from the target states, considering information about the lower and upper bounds of the active timers in order to steer the generation of paths towards the rare event. We have developed a prototype implementa"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.19568","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2506.19568/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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":"2506.19568","created_at":"2026-07-05T11:26:34.757827+00:00"},{"alias_kind":"arxiv_version","alias_value":"2506.19568v1","created_at":"2026-07-05T11:26:34.757827+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.19568","created_at":"2026-07-05T11:26:34.757827+00:00"},{"alias_kind":"pith_short_12","alias_value":"F7YGUGAB6QMT","created_at":"2026-07-05T11:26:34.757827+00:00"},{"alias_kind":"pith_short_16","alias_value":"F7YGUGAB6QMTTH3T","created_at":"2026-07-05T11:26:34.757827+00:00"},{"alias_kind":"pith_short_8","alias_value":"F7YGUGAB","created_at":"2026-07-05T11:26:34.757827+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/F7YGUGAB6QMTTH3TLMMFTLBD2Y","json":"https://pith.science/pith/F7YGUGAB6QMTTH3TLMMFTLBD2Y.json","graph_json":"https://pith.science/api/pith-number/F7YGUGAB6QMTTH3TLMMFTLBD2Y/graph.json","events_json":"https://pith.science/api/pith-number/F7YGUGAB6QMTTH3TLMMFTLBD2Y/events.json","paper":"https://pith.science/paper/F7YGUGAB"},"agent_actions":{"view_html":"https://pith.science/pith/F7YGUGAB6QMTTH3TLMMFTLBD2Y","download_json":"https://pith.science/pith/F7YGUGAB6QMTTH3TLMMFTLBD2Y.json","view_paper":"https://pith.science/paper/F7YGUGAB","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2506.19568&json=true","fetch_graph":"https://pith.science/api/pith-number/F7YGUGAB6QMTTH3TLMMFTLBD2Y/graph.json","fetch_events":"https://pith.science/api/pith-number/F7YGUGAB6QMTTH3TLMMFTLBD2Y/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/F7YGUGAB6QMTTH3TLMMFTLBD2Y/action/timestamp_anchor","attest_storage":"https://pith.science/pith/F7YGUGAB6QMTTH3TLMMFTLBD2Y/action/storage_attestation","attest_author":"https://pith.science/pith/F7YGUGAB6QMTTH3TLMMFTLBD2Y/action/author_attestation","sign_citation":"https://pith.science/pith/F7YGUGAB6QMTTH3TLMMFTLBD2Y/action/citation_signature","submit_replication":"https://pith.science/pith/F7YGUGAB6QMTTH3TLMMFTLBD2Y/action/replication_record"}},"created_at":"2026-07-05T11:26:34.757827+00:00","updated_at":"2026-07-05T11:26:34.757827+00:00"}