{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:PAPVIRXFDNTYANGMX63X4BMBB7","short_pith_number":"pith:PAPVIRXF","canonical_record":{"source":{"id":"2412.11343","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2024-12-15T23:55:55Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"77db45b7e5c145b51af309b0509044cc70e2404727f09c14059dc8cbacdb6a20","abstract_canon_sha256":"74beec5101efeff9888ff32dad325422d3a9d4c800d64feaf59d12403e44ffa9"},"schema_version":"1.0"},"canonical_sha256":"781f5446e51b678034ccbfb77e05810fcb51be70bafe5f2aaecd0b1f043a3c89","source":{"kind":"arxiv","id":"2412.11343","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2412.11343","created_at":"2026-07-05T10:54:40Z"},{"alias_kind":"arxiv_version","alias_value":"2412.11343v3","created_at":"2026-07-05T10:54:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2412.11343","created_at":"2026-07-05T10:54:40Z"},{"alias_kind":"pith_short_12","alias_value":"PAPVIRXFDNTY","created_at":"2026-07-05T10:54:40Z"},{"alias_kind":"pith_short_16","alias_value":"PAPVIRXFDNTYANGM","created_at":"2026-07-05T10:54:40Z"},{"alias_kind":"pith_short_8","alias_value":"PAPVIRXF","created_at":"2026-07-05T10:54:40Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:PAPVIRXFDNTYANGMX63X4BMBB7","target":"record","payload":{"canonical_record":{"source":{"id":"2412.11343","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2024-12-15T23:55:55Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"77db45b7e5c145b51af309b0509044cc70e2404727f09c14059dc8cbacdb6a20","abstract_canon_sha256":"74beec5101efeff9888ff32dad325422d3a9d4c800d64feaf59d12403e44ffa9"},"schema_version":"1.0"},"canonical_sha256":"781f5446e51b678034ccbfb77e05810fcb51be70bafe5f2aaecd0b1f043a3c89","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:54:40.505323Z","signature_b64":"WfMWmhwiu91Ue8cOISG+Y4W+NU0cP1ZJZKPTH9/4/bBq5AgmQlDyBHKU8mn/j6LJkMaZf4rb97zMHp3YodIgAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"781f5446e51b678034ccbfb77e05810fcb51be70bafe5f2aaecd0b1f043a3c89","last_reissued_at":"2026-07-05T10:54:40.504489Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:54:40.504489Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2412.11343","source_version":3,"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:54:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9+Spa/B+i0RFARArBn7fKVrK5Hg9SoHFKN/sfhlvRMv5MbItBbHL3JhBz8Tyfalxd0itC6Jt62GXdtUTAGeeDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T22:13:03.028779Z"},"content_sha256":"0d086226e7c4f00d2760a7336635e2d181bb6ca57ac6b5f4b2af44249fd72368","schema_version":"1.0","event_id":"sha256:0d086226e7c4f00d2760a7336635e2d181bb6ca57ac6b5f4b2af44249fd72368"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:PAPVIRXFDNTYANGMX63X4BMBB7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Alessandro Abate, Ibon Gracia, Luca Laurenti, Manuel Mazo Jr., Morteza Lahijanian","submitted_at":"2024-12-15T23:55:55Z","abstract_excerpt":"In this paper, we present a novel framework to synthesize robust strategies for discrete-time nonlinear systems with random disturbances that are unknown, against temporal logic specifications. The proposed framework is data-driven and abstraction-based: leveraging observations of the system, our approach learns a high-confidence abstraction of the system in the form of an uncertain Markov decision process (UMDP). The uncertainty in the resulting UMDP is used to formally account for both the error in abstracting the system and for the uncertainty coming from the data. Critically, we show that "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2412.11343","kind":"arxiv","version":3},"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/2412.11343/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:54:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mRRrtzgAalcy+cyv7I8fklK4eJdqhxUU8rlZnU4URs3wQ3HYCFFmKc6/oyDLH9zMD6L0H+JxPLfe+zeSJy7CBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T22:13:03.029768Z"},"content_sha256":"2f955a7507e9bfc9304b46007b8a6659dfb93a0f0a7d1b110a40c865fe52bde9","schema_version":"1.0","event_id":"sha256:2f955a7507e9bfc9304b46007b8a6659dfb93a0f0a7d1b110a40c865fe52bde9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PAPVIRXFDNTYANGMX63X4BMBB7/bundle.json","state_url":"https://pith.science/pith/PAPVIRXFDNTYANGMX63X4BMBB7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PAPVIRXFDNTYANGMX63X4BMBB7/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-10T22:13:03Z","links":{"resolver":"https://pith.science/pith/PAPVIRXFDNTYANGMX63X4BMBB7","bundle":"https://pith.science/pith/PAPVIRXFDNTYANGMX63X4BMBB7/bundle.json","state":"https://pith.science/pith/PAPVIRXFDNTYANGMX63X4BMBB7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PAPVIRXFDNTYANGMX63X4BMBB7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:PAPVIRXFDNTYANGMX63X4BMBB7","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":"74beec5101efeff9888ff32dad325422d3a9d4c800d64feaf59d12403e44ffa9","cross_cats_sorted":["cs.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2024-12-15T23:55:55Z","title_canon_sha256":"77db45b7e5c145b51af309b0509044cc70e2404727f09c14059dc8cbacdb6a20"},"schema_version":"1.0","source":{"id":"2412.11343","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2412.11343","created_at":"2026-07-05T10:54:40Z"},{"alias_kind":"arxiv_version","alias_value":"2412.11343v3","created_at":"2026-07-05T10:54:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2412.11343","created_at":"2026-07-05T10:54:40Z"},{"alias_kind":"pith_short_12","alias_value":"PAPVIRXFDNTY","created_at":"2026-07-05T10:54:40Z"},{"alias_kind":"pith_short_16","alias_value":"PAPVIRXFDNTYANGM","created_at":"2026-07-05T10:54:40Z"},{"alias_kind":"pith_short_8","alias_value":"PAPVIRXF","created_at":"2026-07-05T10:54:40Z"}],"graph_snapshots":[{"event_id":"sha256:2f955a7507e9bfc9304b46007b8a6659dfb93a0f0a7d1b110a40c865fe52bde9","target":"graph","created_at":"2026-07-05T10:54:40Z","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/2412.11343/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In this paper, we present a novel framework to synthesize robust strategies for discrete-time nonlinear systems with random disturbances that are unknown, against temporal logic specifications. The proposed framework is data-driven and abstraction-based: leveraging observations of the system, our approach learns a high-confidence abstraction of the system in the form of an uncertain Markov decision process (UMDP). The uncertainty in the resulting UMDP is used to formally account for both the error in abstracting the system and for the uncertainty coming from the data. Critically, we show that ","authors_text":"Alessandro Abate, Ibon Gracia, Luca Laurenti, Manuel Mazo Jr., Morteza Lahijanian","cross_cats":["cs.SY"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2024-12-15T23:55:55Z","title":"Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2412.11343","kind":"arxiv","version":3},"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:0d086226e7c4f00d2760a7336635e2d181bb6ca57ac6b5f4b2af44249fd72368","target":"record","created_at":"2026-07-05T10:54:40Z","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":"74beec5101efeff9888ff32dad325422d3a9d4c800d64feaf59d12403e44ffa9","cross_cats_sorted":["cs.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2024-12-15T23:55:55Z","title_canon_sha256":"77db45b7e5c145b51af309b0509044cc70e2404727f09c14059dc8cbacdb6a20"},"schema_version":"1.0","source":{"id":"2412.11343","kind":"arxiv","version":3}},"canonical_sha256":"781f5446e51b678034ccbfb77e05810fcb51be70bafe5f2aaecd0b1f043a3c89","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"781f5446e51b678034ccbfb77e05810fcb51be70bafe5f2aaecd0b1f043a3c89","first_computed_at":"2026-07-05T10:54:40.504489Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:54:40.504489Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"WfMWmhwiu91Ue8cOISG+Y4W+NU0cP1ZJZKPTH9/4/bBq5AgmQlDyBHKU8mn/j6LJkMaZf4rb97zMHp3YodIgAw==","signature_status":"signed_v1","signed_at":"2026-07-05T10:54:40.505323Z","signed_message":"canonical_sha256_bytes"},"source_id":"2412.11343","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0d086226e7c4f00d2760a7336635e2d181bb6ca57ac6b5f4b2af44249fd72368","sha256:2f955a7507e9bfc9304b46007b8a6659dfb93a0f0a7d1b110a40c865fe52bde9"],"state_sha256":"ae1fa42497a8fce06fc4b2baa0d388bd81f0446fe064c8b6f5b121d5874e8983"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2hcYK7Oiy7cxgfbyZpGK5Q/7809IkzSn+ZtUnh3NX+Gnlo6P44UfGpLtsrxAq5/oQNn8hoThXC+81wakirz1Cw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-10T22:13:03.093239Z","bundle_sha256":"55092d5783b447bba2d8f4f37ec9263cf592d66bc7f2935aee8d2c430962b5a4"}}