{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:FTWR44PU5BGYNZG5CG4WZBTYOG","short_pith_number":"pith:FTWR44PU","canonical_record":{"source":{"id":"2210.05989","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2022-10-12T07:57:03Z","cross_cats_sorted":["cs.AI","cs.RO","cs.SY"],"title_canon_sha256":"a0f3089d576a4f8a63851591b4966e4f912fb796060f34016761afc711fd7f1a","abstract_canon_sha256":"1110a13b649daedd3d3e7f9ce0e99693e6eb1553438ae1b2b5267b0b15aaf704"},"schema_version":"1.0"},"canonical_sha256":"2ced1e71f4e84d86e4dd11b96c8678718577a097b8a87c1e13b6e708496fa306","source":{"kind":"arxiv","id":"2210.05989","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2210.05989","created_at":"2026-07-05T05:23:12Z"},{"alias_kind":"arxiv_version","alias_value":"2210.05989v2","created_at":"2026-07-05T05:23:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2210.05989","created_at":"2026-07-05T05:23:12Z"},{"alias_kind":"pith_short_12","alias_value":"FTWR44PU5BGY","created_at":"2026-07-05T05:23:12Z"},{"alias_kind":"pith_short_16","alias_value":"FTWR44PU5BGYNZG5","created_at":"2026-07-05T05:23:12Z"},{"alias_kind":"pith_short_8","alias_value":"FTWR44PU","created_at":"2026-07-05T05:23:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:FTWR44PU5BGYNZG5CG4WZBTYOG","target":"record","payload":{"canonical_record":{"source":{"id":"2210.05989","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2022-10-12T07:57:03Z","cross_cats_sorted":["cs.AI","cs.RO","cs.SY"],"title_canon_sha256":"a0f3089d576a4f8a63851591b4966e4f912fb796060f34016761afc711fd7f1a","abstract_canon_sha256":"1110a13b649daedd3d3e7f9ce0e99693e6eb1553438ae1b2b5267b0b15aaf704"},"schema_version":"1.0"},"canonical_sha256":"2ced1e71f4e84d86e4dd11b96c8678718577a097b8a87c1e13b6e708496fa306","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:23:12.255761Z","signature_b64":"Ki9U6KFO/PW4HBmatjB3VQPtpWNrs7FW3aGehDlZKCf5rpasHlNqpDzL4tvJVo2gT6u1vAymtzXP37cpKNSOAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2ced1e71f4e84d86e4dd11b96c8678718577a097b8a87c1e13b6e708496fa306","last_reissued_at":"2026-07-05T05:23:12.255336Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:23:12.255336Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2210.05989","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-05T05:23:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EBqQfGQ5u0BhHzJIyPnX3wjkyirxSK7m6hr6jD0zy/lp9TU71clbsWhkdCxybHXE6pKun6fhMcHuFF6iPkJtDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-13T00:14:53.588012Z"},"content_sha256":"04798c325be8fbb44f53e4aa55396c82d847dd3afa1c067c0bbbffc7cbdb7ec4","schema_version":"1.0","event_id":"sha256:04798c325be8fbb44f53e4aa55396c82d847dd3afa1c067c0bbbffc7cbdb7ec4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:FTWR44PU5BGYNZG5CG4WZBTYOG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.RO","cs.SY"],"primary_cat":"eess.SY","authors_text":"Alessandro Abate, Licio Romao, Nils Jansen, Thom Badings","submitted_at":"2022-10-12T07:57:03Z","abstract_excerpt":"Capturing uncertainty in models of complex dynamical systems is crucial to designing safe controllers. Stochastic noise causes aleatoric uncertainty, whereas imprecise knowledge of model parameters leads to epistemic uncertainty. Several approaches use formal abstractions to synthesize policies that satisfy temporal specifications related to safety and reachability. However, the underlying models exclusively capture aleatoric but not epistemic uncertainty, and thus require that model parameters are known precisely. Our contribution to overcoming this restriction is a novel abstraction-based co"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2210.05989","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.05989/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-05T05:23:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"giXqJbfwKPrcO2T53Zq5sgs6fJTwxAWFnGEchbIGdG49Z/Ots3k+lvxDTWepZIqC7tIam8LTpR2Gz1TgUTIKBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-13T00:14:53.588426Z"},"content_sha256":"bc76182467b5058557a50d449c199ce2bcf73a51de5d4516686c8a57458e872b","schema_version":"1.0","event_id":"sha256:bc76182467b5058557a50d449c199ce2bcf73a51de5d4516686c8a57458e872b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FTWR44PU5BGYNZG5CG4WZBTYOG/bundle.json","state_url":"https://pith.science/pith/FTWR44PU5BGYNZG5CG4WZBTYOG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FTWR44PU5BGYNZG5CG4WZBTYOG/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-07-13T00:14:53Z","links":{"resolver":"https://pith.science/pith/FTWR44PU5BGYNZG5CG4WZBTYOG","bundle":"https://pith.science/pith/FTWR44PU5BGYNZG5CG4WZBTYOG/bundle.json","state":"https://pith.science/pith/FTWR44PU5BGYNZG5CG4WZBTYOG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FTWR44PU5BGYNZG5CG4WZBTYOG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:FTWR44PU5BGYNZG5CG4WZBTYOG","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":"1110a13b649daedd3d3e7f9ce0e99693e6eb1553438ae1b2b5267b0b15aaf704","cross_cats_sorted":["cs.AI","cs.RO","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2022-10-12T07:57:03Z","title_canon_sha256":"a0f3089d576a4f8a63851591b4966e4f912fb796060f34016761afc711fd7f1a"},"schema_version":"1.0","source":{"id":"2210.05989","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2210.05989","created_at":"2026-07-05T05:23:12Z"},{"alias_kind":"arxiv_version","alias_value":"2210.05989v2","created_at":"2026-07-05T05:23:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2210.05989","created_at":"2026-07-05T05:23:12Z"},{"alias_kind":"pith_short_12","alias_value":"FTWR44PU5BGY","created_at":"2026-07-05T05:23:12Z"},{"alias_kind":"pith_short_16","alias_value":"FTWR44PU5BGYNZG5","created_at":"2026-07-05T05:23:12Z"},{"alias_kind":"pith_short_8","alias_value":"FTWR44PU","created_at":"2026-07-05T05:23:12Z"}],"graph_snapshots":[{"event_id":"sha256:bc76182467b5058557a50d449c199ce2bcf73a51de5d4516686c8a57458e872b","target":"graph","created_at":"2026-07-05T05:23:12Z","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.05989/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Capturing uncertainty in models of complex dynamical systems is crucial to designing safe controllers. Stochastic noise causes aleatoric uncertainty, whereas imprecise knowledge of model parameters leads to epistemic uncertainty. Several approaches use formal abstractions to synthesize policies that satisfy temporal specifications related to safety and reachability. However, the underlying models exclusively capture aleatoric but not epistemic uncertainty, and thus require that model parameters are known precisely. Our contribution to overcoming this restriction is a novel abstraction-based co","authors_text":"Alessandro Abate, Licio Romao, Nils Jansen, Thom Badings","cross_cats":["cs.AI","cs.RO","cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2022-10-12T07:57:03Z","title":"Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2210.05989","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:04798c325be8fbb44f53e4aa55396c82d847dd3afa1c067c0bbbffc7cbdb7ec4","target":"record","created_at":"2026-07-05T05:23:12Z","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":"1110a13b649daedd3d3e7f9ce0e99693e6eb1553438ae1b2b5267b0b15aaf704","cross_cats_sorted":["cs.AI","cs.RO","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2022-10-12T07:57:03Z","title_canon_sha256":"a0f3089d576a4f8a63851591b4966e4f912fb796060f34016761afc711fd7f1a"},"schema_version":"1.0","source":{"id":"2210.05989","kind":"arxiv","version":2}},"canonical_sha256":"2ced1e71f4e84d86e4dd11b96c8678718577a097b8a87c1e13b6e708496fa306","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2ced1e71f4e84d86e4dd11b96c8678718577a097b8a87c1e13b6e708496fa306","first_computed_at":"2026-07-05T05:23:12.255336Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:23:12.255336Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Ki9U6KFO/PW4HBmatjB3VQPtpWNrs7FW3aGehDlZKCf5rpasHlNqpDzL4tvJVo2gT6u1vAymtzXP37cpKNSOAw==","signature_status":"signed_v1","signed_at":"2026-07-05T05:23:12.255761Z","signed_message":"canonical_sha256_bytes"},"source_id":"2210.05989","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:04798c325be8fbb44f53e4aa55396c82d847dd3afa1c067c0bbbffc7cbdb7ec4","sha256:bc76182467b5058557a50d449c199ce2bcf73a51de5d4516686c8a57458e872b"],"state_sha256":"f073d8dc01ac751b2b9d1487f81554e8176a9ba0d6a3f2ffe9aecaab5a8a0f01"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"14terCCqY1aE4TIiLfaiP30fBBAb6aiJpeX7ZEhFAcMzaygtvgdBtZn+XD/k4B1ZSX3mbc1cGQDefijAPHMFDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-13T00:14:53.591733Z","bundle_sha256":"48a3a16e1d10fca6798523589867e4239b3c2a95c8236084b21eaa949a0e04da"}}