{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:RJY6WOVHURRCJEYOC7VGI2INYD","short_pith_number":"pith:RJY6WOVH","canonical_record":{"source":{"id":"2210.05304","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.LG","submitted_at":"2022-10-11T09:55:07Z","cross_cats_sorted":["cs.AI","cs.SY","eess.SY"],"title_canon_sha256":"8be5d3004ad4cbbdedcf719f50c0a3db6b7575df6c0605099d7c18f51bb425c5","abstract_canon_sha256":"67591971e41da925f1ba92b06e45ece5bf6b649a442e293ceccb723ca3e63695"},"schema_version":"1.0"},"canonical_sha256":"8a71eb3aa7a46224930e17ea64690dc0edfa03b1e115767c1b0435b42a71d891","source":{"kind":"arxiv","id":"2210.05304","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2210.05304","created_at":"2026-07-05T06:35:24Z"},{"alias_kind":"arxiv_version","alias_value":"2210.05304v2","created_at":"2026-07-05T06:35:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2210.05304","created_at":"2026-07-05T06:35:24Z"},{"alias_kind":"pith_short_12","alias_value":"RJY6WOVHURRC","created_at":"2026-07-05T06:35:24Z"},{"alias_kind":"pith_short_16","alias_value":"RJY6WOVHURRCJEYO","created_at":"2026-07-05T06:35:24Z"},{"alias_kind":"pith_short_8","alias_value":"RJY6WOVH","created_at":"2026-07-05T06:35:24Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:RJY6WOVHURRCJEYOC7VGI2INYD","target":"record","payload":{"canonical_record":{"source":{"id":"2210.05304","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.LG","submitted_at":"2022-10-11T09:55:07Z","cross_cats_sorted":["cs.AI","cs.SY","eess.SY"],"title_canon_sha256":"8be5d3004ad4cbbdedcf719f50c0a3db6b7575df6c0605099d7c18f51bb425c5","abstract_canon_sha256":"67591971e41da925f1ba92b06e45ece5bf6b649a442e293ceccb723ca3e63695"},"schema_version":"1.0"},"canonical_sha256":"8a71eb3aa7a46224930e17ea64690dc0edfa03b1e115767c1b0435b42a71d891","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:35:24.250425Z","signature_b64":"kRe5Q8SS4EA+AKlsIM9upLeTSfUt37G75VRii9Qim350tzd1ZLe4TO3eg9zTzgW0mHyLwRnxgb9RygXQfXLEDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8a71eb3aa7a46224930e17ea64690dc0edfa03b1e115767c1b0435b42a71d891","last_reissued_at":"2026-07-05T06:35:24.249926Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:35:24.249926Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2210.05304","source_version":2,"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-05T06:35:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IYJy8tK/lpuHnze71qoZg+vqyaCcclCiswUgRdRed1sgX21X+yH+ITXz4AyG8m9JpjBrZEf8KC/uHVbFiWJ+Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T16:37:54.093623Z"},"content_sha256":"088a18fc8dbdb6ddc847a749e94f5d9c93c6a74f137efcd51341968bb7f344bb","schema_version":"1.0","event_id":"sha256:088a18fc8dbdb6ddc847a749e94f5d9c93c6a74f137efcd51341968bb7f344bb"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:RJY6WOVHURRCJEYOC7VGI2INYD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":["cs.AI","cs.SY","eess.SY"],"primary_cat":"cs.LG","authors_text":"{\\DJ}or{\\dj}e \\v{Z}ikeli\\'c, Krishnendu Chatterjee, Mathias Lechner, Matin Ansaripour, Thomas A. Henzinger","submitted_at":"2022-10-11T09:55:07Z","abstract_excerpt":"We consider the problem of learning control policies in discrete-time stochastic systems which guarantee that the system stabilizes within some specified stabilization region with probability~$1$. Our approach is based on the novel notion of stabilizing ranking supermartingales (sRSMs) that we introduce in this work. Our sRSMs overcome the limitation of methods proposed in previous works whose applicability is restricted to systems in which the stabilizing region cannot be left once entered under any control policy. We present a learning procedure that learns a control policy together with an "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2210.05304","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2210.05304/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-05T06:35:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rKkeK1HVNtTIq0pNlC2JDMJrrJ04l7ZxnPLcl366kdq7pbbgWT355ISgcqMK1bkVSKs5IxtnzCty+9pr8UtlAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T16:37:54.094150Z"},"content_sha256":"d84c941c6e274e7f456d2e6b7fa0892276202229e55adf60f9dabdbfbcc930fc","schema_version":"1.0","event_id":"sha256:d84c941c6e274e7f456d2e6b7fa0892276202229e55adf60f9dabdbfbcc930fc"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/RJY6WOVHURRCJEYOC7VGI2INYD/bundle.json","state_url":"https://pith.science/pith/RJY6WOVHURRCJEYOC7VGI2INYD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/RJY6WOVHURRCJEYOC7VGI2INYD/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-06T16:37:54Z","links":{"resolver":"https://pith.science/pith/RJY6WOVHURRCJEYOC7VGI2INYD","bundle":"https://pith.science/pith/RJY6WOVHURRCJEYOC7VGI2INYD/bundle.json","state":"https://pith.science/pith/RJY6WOVHURRCJEYOC7VGI2INYD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/RJY6WOVHURRCJEYOC7VGI2INYD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:RJY6WOVHURRCJEYOC7VGI2INYD","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":"67591971e41da925f1ba92b06e45ece5bf6b649a442e293ceccb723ca3e63695","cross_cats_sorted":["cs.AI","cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.LG","submitted_at":"2022-10-11T09:55:07Z","title_canon_sha256":"8be5d3004ad4cbbdedcf719f50c0a3db6b7575df6c0605099d7c18f51bb425c5"},"schema_version":"1.0","source":{"id":"2210.05304","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2210.05304","created_at":"2026-07-05T06:35:24Z"},{"alias_kind":"arxiv_version","alias_value":"2210.05304v2","created_at":"2026-07-05T06:35:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2210.05304","created_at":"2026-07-05T06:35:24Z"},{"alias_kind":"pith_short_12","alias_value":"RJY6WOVHURRC","created_at":"2026-07-05T06:35:24Z"},{"alias_kind":"pith_short_16","alias_value":"RJY6WOVHURRCJEYO","created_at":"2026-07-05T06:35:24Z"},{"alias_kind":"pith_short_8","alias_value":"RJY6WOVH","created_at":"2026-07-05T06:35:24Z"}],"graph_snapshots":[{"event_id":"sha256:d84c941c6e274e7f456d2e6b7fa0892276202229e55adf60f9dabdbfbcc930fc","target":"graph","created_at":"2026-07-05T06:35:24Z","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/2210.05304/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We consider the problem of learning control policies in discrete-time stochastic systems which guarantee that the system stabilizes within some specified stabilization region with probability~$1$. Our approach is based on the novel notion of stabilizing ranking supermartingales (sRSMs) that we introduce in this work. Our sRSMs overcome the limitation of methods proposed in previous works whose applicability is restricted to systems in which the stabilizing region cannot be left once entered under any control policy. We present a learning procedure that learns a control policy together with an ","authors_text":"{\\DJ}or{\\dj}e \\v{Z}ikeli\\'c, Krishnendu Chatterjee, Mathias Lechner, Matin Ansaripour, Thomas A. Henzinger","cross_cats":["cs.AI","cs.SY","eess.SY"],"headline":"","license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.LG","submitted_at":"2022-10-11T09:55:07Z","title":"Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2210.05304","kind":"arxiv","version":2},"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:088a18fc8dbdb6ddc847a749e94f5d9c93c6a74f137efcd51341968bb7f344bb","target":"record","created_at":"2026-07-05T06:35:24Z","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":"67591971e41da925f1ba92b06e45ece5bf6b649a442e293ceccb723ca3e63695","cross_cats_sorted":["cs.AI","cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.LG","submitted_at":"2022-10-11T09:55:07Z","title_canon_sha256":"8be5d3004ad4cbbdedcf719f50c0a3db6b7575df6c0605099d7c18f51bb425c5"},"schema_version":"1.0","source":{"id":"2210.05304","kind":"arxiv","version":2}},"canonical_sha256":"8a71eb3aa7a46224930e17ea64690dc0edfa03b1e115767c1b0435b42a71d891","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8a71eb3aa7a46224930e17ea64690dc0edfa03b1e115767c1b0435b42a71d891","first_computed_at":"2026-07-05T06:35:24.249926Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:35:24.249926Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"kRe5Q8SS4EA+AKlsIM9upLeTSfUt37G75VRii9Qim350tzd1ZLe4TO3eg9zTzgW0mHyLwRnxgb9RygXQfXLEDQ==","signature_status":"signed_v1","signed_at":"2026-07-05T06:35:24.250425Z","signed_message":"canonical_sha256_bytes"},"source_id":"2210.05304","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:088a18fc8dbdb6ddc847a749e94f5d9c93c6a74f137efcd51341968bb7f344bb","sha256:d84c941c6e274e7f456d2e6b7fa0892276202229e55adf60f9dabdbfbcc930fc"],"state_sha256":"022126e2975b63755037ad7df867256c713b80124dbe7a879d8d28155c9b5d00"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dELIHEqFs8hEb/fDl2UmWRQRU7YaxoJLU62cX48jO6yeVfntYDRuRlo/icAPGPV6ke83bVJ3V/4c/+S/z3oICQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T16:37:54.097793Z","bundle_sha256":"e826f72721380e31aaed0f9051cab98ad4e9aeff0de0bac034347312c7806f3a"}}