{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:XEIBWYHVGQFORU5QBDHHD3KBH2","short_pith_number":"pith:XEIBWYHV","canonical_record":{"source":{"id":"1906.10417","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2019-06-25T09:45:02Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"81205d8cf25b8ce526fd4969b05b931edf7f113dc202f0f7e028547737f76c83","abstract_canon_sha256":"cfd84085d6e032dc19da4b1f8ee495a097e27fefdf80a2af6c5d4be94f810f7c"},"schema_version":"1.0"},"canonical_sha256":"b9101b60f5340ae8d3b008ce71ed413eb02dd82b5b7fcb2dbd02fdf0dad89481","source":{"kind":"arxiv","id":"1906.10417","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1906.10417","created_at":"2026-07-05T02:07:26Z"},{"alias_kind":"arxiv_version","alias_value":"1906.10417v2","created_at":"2026-07-05T02:07:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1906.10417","created_at":"2026-07-05T02:07:26Z"},{"alias_kind":"pith_short_12","alias_value":"XEIBWYHVGQFO","created_at":"2026-07-05T02:07:26Z"},{"alias_kind":"pith_short_16","alias_value":"XEIBWYHVGQFORU5Q","created_at":"2026-07-05T02:07:26Z"},{"alias_kind":"pith_short_8","alias_value":"XEIBWYHV","created_at":"2026-07-05T02:07:26Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:XEIBWYHVGQFORU5QBDHHD3KBH2","target":"record","payload":{"canonical_record":{"source":{"id":"1906.10417","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2019-06-25T09:45:02Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"81205d8cf25b8ce526fd4969b05b931edf7f113dc202f0f7e028547737f76c83","abstract_canon_sha256":"cfd84085d6e032dc19da4b1f8ee495a097e27fefdf80a2af6c5d4be94f810f7c"},"schema_version":"1.0"},"canonical_sha256":"b9101b60f5340ae8d3b008ce71ed413eb02dd82b5b7fcb2dbd02fdf0dad89481","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:07:26.000834Z","signature_b64":"3DiT+8aE/tZGBqH3ZsZyCpwRY+9zHi7uKiOjBAWOrMQyEkAfTCieQrvNzTvpn2XUJefUc8zr7+We2ecCarmYCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b9101b60f5340ae8d3b008ce71ed413eb02dd82b5b7fcb2dbd02fdf0dad89481","last_reissued_at":"2026-07-05T02:07:26.000481Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:07:26.000481Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1906.10417","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-05T02:07:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"elyZFh2KDbDbWg9eFVx5hxMnnzBgj4zjQDHNiuLk4VBDWVI2UpoxASDJ7kV4KS07eIJCFKPlDON41z2sxSGsBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T06:09:28.922655Z"},"content_sha256":"ba21b9e6672bab817b68297a6cc2b73a54aa508e6e14cc5209521908f43ddebc","schema_version":"1.0","event_id":"sha256:ba21b9e6672bab817b68297a6cc2b73a54aa508e6e14cc5209521908f43ddebc"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:XEIBWYHVGQFORU5QBDHHD3KBH2","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Probabilistic model predictive safety certification for learning-based control","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Andrea Carron, Kim P. Wabersich, Lukas Hewing, Melanie N. Zeilinger","submitted_at":"2019-06-25T09:45:02Z","abstract_excerpt":"Reinforcement learning (RL) methods have demonstrated their efficiency in simulation environments. However, many applications for which RL offers great potential, such as autonomous driving, are also safety critical and require a certified closed-loop behavior in order to meet safety specifications in the presence of physical constraints. This paper introduces a concept, called probabilistic model predictive safety certification (PMPSC), which can be combined with any RL algorithm and provides provable safety certificates in terms of state and input chance constraints for potentially large-sca"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1906.10417","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/1906.10417/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-05T02:07:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pnYuqGBliIFvvHdR2kI7rijo5MAhrjNzIbD9p7lsVkhwb5LJO4ACFqZ/VYNb2BNYenHqxc95PbRPZNkqCT16BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T06:09:28.923166Z"},"content_sha256":"03dc23ef64205fb6e1b9add19adcd62ddd4dbc0c091bf87f55a82ccbe2f76011","schema_version":"1.0","event_id":"sha256:03dc23ef64205fb6e1b9add19adcd62ddd4dbc0c091bf87f55a82ccbe2f76011"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XEIBWYHVGQFORU5QBDHHD3KBH2/bundle.json","state_url":"https://pith.science/pith/XEIBWYHVGQFORU5QBDHHD3KBH2/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XEIBWYHVGQFORU5QBDHHD3KBH2/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-16T06:09:28Z","links":{"resolver":"https://pith.science/pith/XEIBWYHVGQFORU5QBDHHD3KBH2","bundle":"https://pith.science/pith/XEIBWYHVGQFORU5QBDHHD3KBH2/bundle.json","state":"https://pith.science/pith/XEIBWYHVGQFORU5QBDHHD3KBH2/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XEIBWYHVGQFORU5QBDHHD3KBH2/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:XEIBWYHVGQFORU5QBDHHD3KBH2","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":"cfd84085d6e032dc19da4b1f8ee495a097e27fefdf80a2af6c5d4be94f810f7c","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2019-06-25T09:45:02Z","title_canon_sha256":"81205d8cf25b8ce526fd4969b05b931edf7f113dc202f0f7e028547737f76c83"},"schema_version":"1.0","source":{"id":"1906.10417","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1906.10417","created_at":"2026-07-05T02:07:26Z"},{"alias_kind":"arxiv_version","alias_value":"1906.10417v2","created_at":"2026-07-05T02:07:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1906.10417","created_at":"2026-07-05T02:07:26Z"},{"alias_kind":"pith_short_12","alias_value":"XEIBWYHVGQFO","created_at":"2026-07-05T02:07:26Z"},{"alias_kind":"pith_short_16","alias_value":"XEIBWYHVGQFORU5Q","created_at":"2026-07-05T02:07:26Z"},{"alias_kind":"pith_short_8","alias_value":"XEIBWYHV","created_at":"2026-07-05T02:07:26Z"}],"graph_snapshots":[{"event_id":"sha256:03dc23ef64205fb6e1b9add19adcd62ddd4dbc0c091bf87f55a82ccbe2f76011","target":"graph","created_at":"2026-07-05T02:07:26Z","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/1906.10417/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Reinforcement learning (RL) methods have demonstrated their efficiency in simulation environments. However, many applications for which RL offers great potential, such as autonomous driving, are also safety critical and require a certified closed-loop behavior in order to meet safety specifications in the presence of physical constraints. This paper introduces a concept, called probabilistic model predictive safety certification (PMPSC), which can be combined with any RL algorithm and provides provable safety certificates in terms of state and input chance constraints for potentially large-sca","authors_text":"Andrea Carron, Kim P. Wabersich, Lukas Hewing, Melanie N. Zeilinger","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2019-06-25T09:45:02Z","title":"Probabilistic model predictive safety certification for learning-based control"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1906.10417","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:ba21b9e6672bab817b68297a6cc2b73a54aa508e6e14cc5209521908f43ddebc","target":"record","created_at":"2026-07-05T02:07:26Z","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":"cfd84085d6e032dc19da4b1f8ee495a097e27fefdf80a2af6c5d4be94f810f7c","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2019-06-25T09:45:02Z","title_canon_sha256":"81205d8cf25b8ce526fd4969b05b931edf7f113dc202f0f7e028547737f76c83"},"schema_version":"1.0","source":{"id":"1906.10417","kind":"arxiv","version":2}},"canonical_sha256":"b9101b60f5340ae8d3b008ce71ed413eb02dd82b5b7fcb2dbd02fdf0dad89481","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b9101b60f5340ae8d3b008ce71ed413eb02dd82b5b7fcb2dbd02fdf0dad89481","first_computed_at":"2026-07-05T02:07:26.000481Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:07:26.000481Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"3DiT+8aE/tZGBqH3ZsZyCpwRY+9zHi7uKiOjBAWOrMQyEkAfTCieQrvNzTvpn2XUJefUc8zr7+We2ecCarmYCg==","signature_status":"signed_v1","signed_at":"2026-07-05T02:07:26.000834Z","signed_message":"canonical_sha256_bytes"},"source_id":"1906.10417","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ba21b9e6672bab817b68297a6cc2b73a54aa508e6e14cc5209521908f43ddebc","sha256:03dc23ef64205fb6e1b9add19adcd62ddd4dbc0c091bf87f55a82ccbe2f76011"],"state_sha256":"8e4cb42cae8a25e8d0bd386ea8667dbf6e710773227288fe8815b99db688a472"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"D+2Ec9CCEaPFbYdJE0ehYhXIXG9DUXNsSF00fyHXOVJMrk7yOo8r4rpg0jpdPRB1y1i4V/HezDh2+0YtvDtyDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-16T06:09:28.928303Z","bundle_sha256":"4bd1adab5d1071d5b6b13a4744b06825731f17ca89caa78e3a40fb719369e74d"}}