{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:7UCUB6TEQ6ZCGCCZL5UG5W2YXD","short_pith_number":"pith:7UCUB6TE","canonical_record":{"source":{"id":"2503.04762","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.LO","submitted_at":"2025-02-11T03:17:40Z","cross_cats_sorted":["cs.FL","cs.SY","eess.SY"],"title_canon_sha256":"15fb798e009a551f829d0cdc343f46e6918fe9e6ffcf0f5e749afa12c5396a37","abstract_canon_sha256":"b57c326a529b3d51b579cc632d678c6ed6b3db352b870755ead214350af07825"},"schema_version":"1.0"},"canonical_sha256":"fd0540fa6487b22308595f686edb58b8cf284101890ea21acec2bcbe2222e8d5","source":{"kind":"arxiv","id":"2503.04762","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2503.04762","created_at":"2026-07-05T10:25:48Z"},{"alias_kind":"arxiv_version","alias_value":"2503.04762v1","created_at":"2026-07-05T10:25:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2503.04762","created_at":"2026-07-05T10:25:48Z"},{"alias_kind":"pith_short_12","alias_value":"7UCUB6TEQ6ZC","created_at":"2026-07-05T10:25:48Z"},{"alias_kind":"pith_short_16","alias_value":"7UCUB6TEQ6ZCGCCZ","created_at":"2026-07-05T10:25:48Z"},{"alias_kind":"pith_short_8","alias_value":"7UCUB6TE","created_at":"2026-07-05T10:25:48Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:7UCUB6TEQ6ZCGCCZL5UG5W2YXD","target":"record","payload":{"canonical_record":{"source":{"id":"2503.04762","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.LO","submitted_at":"2025-02-11T03:17:40Z","cross_cats_sorted":["cs.FL","cs.SY","eess.SY"],"title_canon_sha256":"15fb798e009a551f829d0cdc343f46e6918fe9e6ffcf0f5e749afa12c5396a37","abstract_canon_sha256":"b57c326a529b3d51b579cc632d678c6ed6b3db352b870755ead214350af07825"},"schema_version":"1.0"},"canonical_sha256":"fd0540fa6487b22308595f686edb58b8cf284101890ea21acec2bcbe2222e8d5","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:25:48.374470Z","signature_b64":"sdl+pqjr5q/EOv5JNNrbxdo0rvUesRIISL2PIyQxgeFf1Jaff2GQF1MpFo2RjRZUH/7jQU53tw0xp6lQhnyEAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fd0540fa6487b22308595f686edb58b8cf284101890ea21acec2bcbe2222e8d5","last_reissued_at":"2026-07-05T10:25:48.373326Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:25:48.373326Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2503.04762","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-07-05T10:25:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DgazZwxo4QhbGlVBbRQH1E0IGhcUYYkIwx7YXlk6zt3opIrrSPwvEJMEoB6TZ+48dg2eYPoVxPk9nO+movOOBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-18T15:43:20.498894Z"},"content_sha256":"2a593cf7b7cfe61a7576bbacac3ccffd732818d86942eeb315f2a236feaa52e2","schema_version":"1.0","event_id":"sha256:2a593cf7b7cfe61a7576bbacac3ccffd732818d86942eeb315f2a236feaa52e2"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:7UCUB6TEQ6ZCGCCZL5UG5W2YXD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":["cs.FL","cs.SY","eess.SY"],"primary_cat":"cs.LO","authors_text":"Hongzhe Yu, Liqian Ma, Yongxin Chen, Zishun Liu","submitted_at":"2025-02-11T03:17:40Z","abstract_excerpt":"We study the verification problem of stochastic systems under signal temporal logic (STL) specifications. We propose a novel approach that enables the verification of the probabilistic satisfaction of STL specifications for nonlinear systems subject to both bounded deterministic disturbances and stochastic disturbances. Our method, referred to as the STL erosion strategy, reduces the probabilistic verification problem into a deterministic verification problem with a tighter STL specification. The degree of tightening is determined by leveraging recent results on bounding the deviation between "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2503.04762","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/2503.04762/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"},"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-07-05T10:25:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8X2+XyOz8CyVL6+6iONekJn3RgDF6cnW0Ixrr48+LcyxhI1o+KtN27+Ttw9VUQcIiHtsoeiJ3tnBbdUu9NaGBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-18T15:43:20.499405Z"},"content_sha256":"f934564044cb411970124e239185f871c3b9ecd789e522138506fa1aaa4cd4e4","schema_version":"1.0","event_id":"sha256:f934564044cb411970124e239185f871c3b9ecd789e522138506fa1aaa4cd4e4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7UCUB6TEQ6ZCGCCZL5UG5W2YXD/bundle.json","state_url":"https://pith.science/pith/7UCUB6TEQ6ZCGCCZL5UG5W2YXD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7UCUB6TEQ6ZCGCCZL5UG5W2YXD/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-08-18T15:43:20Z","links":{"resolver":"https://pith.science/pith/7UCUB6TEQ6ZCGCCZL5UG5W2YXD","bundle":"https://pith.science/pith/7UCUB6TEQ6ZCGCCZL5UG5W2YXD/bundle.json","state":"https://pith.science/pith/7UCUB6TEQ6ZCGCCZL5UG5W2YXD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7UCUB6TEQ6ZCGCCZL5UG5W2YXD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:7UCUB6TEQ6ZCGCCZL5UG5W2YXD","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":"b57c326a529b3d51b579cc632d678c6ed6b3db352b870755ead214350af07825","cross_cats_sorted":["cs.FL","cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.LO","submitted_at":"2025-02-11T03:17:40Z","title_canon_sha256":"15fb798e009a551f829d0cdc343f46e6918fe9e6ffcf0f5e749afa12c5396a37"},"schema_version":"1.0","source":{"id":"2503.04762","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2503.04762","created_at":"2026-07-05T10:25:48Z"},{"alias_kind":"arxiv_version","alias_value":"2503.04762v1","created_at":"2026-07-05T10:25:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2503.04762","created_at":"2026-07-05T10:25:48Z"},{"alias_kind":"pith_short_12","alias_value":"7UCUB6TEQ6ZC","created_at":"2026-07-05T10:25:48Z"},{"alias_kind":"pith_short_16","alias_value":"7UCUB6TEQ6ZCGCCZ","created_at":"2026-07-05T10:25:48Z"},{"alias_kind":"pith_short_8","alias_value":"7UCUB6TE","created_at":"2026-07-05T10:25:48Z"}],"graph_snapshots":[{"event_id":"sha256:f934564044cb411970124e239185f871c3b9ecd789e522138506fa1aaa4cd4e4","target":"graph","created_at":"2026-07-05T10:25: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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2503.04762/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We study the verification problem of stochastic systems under signal temporal logic (STL) specifications. We propose a novel approach that enables the verification of the probabilistic satisfaction of STL specifications for nonlinear systems subject to both bounded deterministic disturbances and stochastic disturbances. Our method, referred to as the STL erosion strategy, reduces the probabilistic verification problem into a deterministic verification problem with a tighter STL specification. The degree of tightening is determined by leveraging recent results on bounding the deviation between ","authors_text":"Hongzhe Yu, Liqian Ma, Yongxin Chen, Zishun Liu","cross_cats":["cs.FL","cs.SY","eess.SY"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.LO","submitted_at":"2025-02-11T03:17:40Z","title":"Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2503.04762","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:2a593cf7b7cfe61a7576bbacac3ccffd732818d86942eeb315f2a236feaa52e2","target":"record","created_at":"2026-07-05T10:25: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":"b57c326a529b3d51b579cc632d678c6ed6b3db352b870755ead214350af07825","cross_cats_sorted":["cs.FL","cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.LO","submitted_at":"2025-02-11T03:17:40Z","title_canon_sha256":"15fb798e009a551f829d0cdc343f46e6918fe9e6ffcf0f5e749afa12c5396a37"},"schema_version":"1.0","source":{"id":"2503.04762","kind":"arxiv","version":1}},"canonical_sha256":"fd0540fa6487b22308595f686edb58b8cf284101890ea21acec2bcbe2222e8d5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fd0540fa6487b22308595f686edb58b8cf284101890ea21acec2bcbe2222e8d5","first_computed_at":"2026-07-05T10:25:48.373326Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:25:48.373326Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"sdl+pqjr5q/EOv5JNNrbxdo0rvUesRIISL2PIyQxgeFf1Jaff2GQF1MpFo2RjRZUH/7jQU53tw0xp6lQhnyEAg==","signature_status":"signed_v1","signed_at":"2026-07-05T10:25:48.374470Z","signed_message":"canonical_sha256_bytes"},"source_id":"2503.04762","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2a593cf7b7cfe61a7576bbacac3ccffd732818d86942eeb315f2a236feaa52e2","sha256:f934564044cb411970124e239185f871c3b9ecd789e522138506fa1aaa4cd4e4"],"state_sha256":"26e3d2f2567782740d7300dc71e27a945b587151111f7fbf6bbb4d8d623af958"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OcK5kX48R+eLolTc2ZxBqL3v2YZXa7Wlz0GQpUv3HsAs8S1Mw14ImBLgXzwAP9KPAJDN9sy0iByA/AWMRV5QBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-18T15:43:20.503049Z","bundle_sha256":"a5b719b0823ce012877865607ad0efd52cb1f6adae05590d9b401d95b1620c20"}}