{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:SRYAVPUDJLXPBH4XNBDR56N6WI","short_pith_number":"pith:SRYAVPUD","canonical_record":{"source":{"id":"2407.03896","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"eess.SY","submitted_at":"2024-07-04T12:43:35Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"cb0b35e4aa71e74b4317c23036e0ecaf7abfd9fa5fc25e497c7e3d95a098123e","abstract_canon_sha256":"a84eca0b256a61abff342be7f70d0e3aecdb26cf88b2ce84de87555d52bf55a6"},"schema_version":"1.0"},"canonical_sha256":"94700abe834aeef09f9768471ef9beb2330416f7b4591e8355e59b91596cae2a","source":{"kind":"arxiv","id":"2407.03896","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2407.03896","created_at":"2026-07-05T08:40:25Z"},{"alias_kind":"arxiv_version","alias_value":"2407.03896v1","created_at":"2026-07-05T08:40:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2407.03896","created_at":"2026-07-05T08:40:25Z"},{"alias_kind":"pith_short_12","alias_value":"SRYAVPUDJLXP","created_at":"2026-07-05T08:40:25Z"},{"alias_kind":"pith_short_16","alias_value":"SRYAVPUDJLXPBH4X","created_at":"2026-07-05T08:40:25Z"},{"alias_kind":"pith_short_8","alias_value":"SRYAVPUD","created_at":"2026-07-05T08:40:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:SRYAVPUDJLXPBH4XNBDR56N6WI","target":"record","payload":{"canonical_record":{"source":{"id":"2407.03896","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"eess.SY","submitted_at":"2024-07-04T12:43:35Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"cb0b35e4aa71e74b4317c23036e0ecaf7abfd9fa5fc25e497c7e3d95a098123e","abstract_canon_sha256":"a84eca0b256a61abff342be7f70d0e3aecdb26cf88b2ce84de87555d52bf55a6"},"schema_version":"1.0"},"canonical_sha256":"94700abe834aeef09f9768471ef9beb2330416f7b4591e8355e59b91596cae2a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:40:25.540087Z","signature_b64":"i1tcvUTrxJ3hKM0H/ep0QoSFuNXaYJwWPEuWUaPRax4ujf448ToGVIgvpaul19PyPbwrg4CaKFl6PczqswANDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"94700abe834aeef09f9768471ef9beb2330416f7b4591e8355e59b91596cae2a","last_reissued_at":"2026-07-05T08:40:25.539632Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:40:25.539632Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2407.03896","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-05T08:40:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1mYxs8GoOifJWcVACyUJDVe80DGE7D/mMTBgIaJ8LUWucQQKAoSR/k5PdoRuA1MQuoY5eMCkaYozjg8d4EwcDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T21:30:20.682061Z"},"content_sha256":"330652de6acf7bbc8958dcb4640a502841a81c1192c5c8fb2798a4f74c48f955","schema_version":"1.0","event_id":"sha256:330652de6acf7bbc8958dcb4640a502841a81c1192c5c8fb2798a4f74c48f955"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:SRYAVPUDJLXPBH4XNBDR56N6WI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Specification-guided temporal logic control for stochastic systems: a multi-layered approach","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Birgit C. van Huijgevoort, Ruohan Wang, Sadegh Soudjani, Sofie Haesaert","submitted_at":"2024-07-04T12:43:35Z","abstract_excerpt":"Designing controllers to satisfy temporal requirements has proven to be challenging for dynamical systems that are affected by uncertainty. This is mainly due to the states evolving in a continuous uncountable space, the stochastic evolution of the states, and infinite-horizon temporal requirements on the system evolution, all of which makes closed-form solutions generally inaccessible. A promising approach for designing provably correct controllers on such systems is to utilize the concept of abstraction, which is based on building simplified abstract models that can be used to approximate op"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2407.03896","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/2407.03896/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-05T08:40:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xSj0dXL5l65tvPapMN2iXQjMw5ScBzVnNHMMzcz80AIFfWJR9oM5kBKN2yENjbINXF3omxP4Gd5FzFmSaCJJAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T21:30:20.682568Z"},"content_sha256":"615ed4949261de2a0df7449a84f99c42c382e0a398d1a40f639e251b589f2ae3","schema_version":"1.0","event_id":"sha256:615ed4949261de2a0df7449a84f99c42c382e0a398d1a40f639e251b589f2ae3"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/SRYAVPUDJLXPBH4XNBDR56N6WI/bundle.json","state_url":"https://pith.science/pith/SRYAVPUDJLXPBH4XNBDR56N6WI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/SRYAVPUDJLXPBH4XNBDR56N6WI/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-07T21:30:20Z","links":{"resolver":"https://pith.science/pith/SRYAVPUDJLXPBH4XNBDR56N6WI","bundle":"https://pith.science/pith/SRYAVPUDJLXPBH4XNBDR56N6WI/bundle.json","state":"https://pith.science/pith/SRYAVPUDJLXPBH4XNBDR56N6WI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/SRYAVPUDJLXPBH4XNBDR56N6WI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:SRYAVPUDJLXPBH4XNBDR56N6WI","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":"a84eca0b256a61abff342be7f70d0e3aecdb26cf88b2ce84de87555d52bf55a6","cross_cats_sorted":["cs.SY"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"eess.SY","submitted_at":"2024-07-04T12:43:35Z","title_canon_sha256":"cb0b35e4aa71e74b4317c23036e0ecaf7abfd9fa5fc25e497c7e3d95a098123e"},"schema_version":"1.0","source":{"id":"2407.03896","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2407.03896","created_at":"2026-07-05T08:40:25Z"},{"alias_kind":"arxiv_version","alias_value":"2407.03896v1","created_at":"2026-07-05T08:40:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2407.03896","created_at":"2026-07-05T08:40:25Z"},{"alias_kind":"pith_short_12","alias_value":"SRYAVPUDJLXP","created_at":"2026-07-05T08:40:25Z"},{"alias_kind":"pith_short_16","alias_value":"SRYAVPUDJLXPBH4X","created_at":"2026-07-05T08:40:25Z"},{"alias_kind":"pith_short_8","alias_value":"SRYAVPUD","created_at":"2026-07-05T08:40:25Z"}],"graph_snapshots":[{"event_id":"sha256:615ed4949261de2a0df7449a84f99c42c382e0a398d1a40f639e251b589f2ae3","target":"graph","created_at":"2026-07-05T08:40:25Z","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/2407.03896/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Designing controllers to satisfy temporal requirements has proven to be challenging for dynamical systems that are affected by uncertainty. This is mainly due to the states evolving in a continuous uncountable space, the stochastic evolution of the states, and infinite-horizon temporal requirements on the system evolution, all of which makes closed-form solutions generally inaccessible. A promising approach for designing provably correct controllers on such systems is to utilize the concept of abstraction, which is based on building simplified abstract models that can be used to approximate op","authors_text":"Birgit C. van Huijgevoort, Ruohan Wang, Sadegh Soudjani, Sofie Haesaert","cross_cats":["cs.SY"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"eess.SY","submitted_at":"2024-07-04T12:43:35Z","title":"Specification-guided temporal logic control for stochastic systems: a multi-layered approach"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2407.03896","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:330652de6acf7bbc8958dcb4640a502841a81c1192c5c8fb2798a4f74c48f955","target":"record","created_at":"2026-07-05T08:40:25Z","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":"a84eca0b256a61abff342be7f70d0e3aecdb26cf88b2ce84de87555d52bf55a6","cross_cats_sorted":["cs.SY"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"eess.SY","submitted_at":"2024-07-04T12:43:35Z","title_canon_sha256":"cb0b35e4aa71e74b4317c23036e0ecaf7abfd9fa5fc25e497c7e3d95a098123e"},"schema_version":"1.0","source":{"id":"2407.03896","kind":"arxiv","version":1}},"canonical_sha256":"94700abe834aeef09f9768471ef9beb2330416f7b4591e8355e59b91596cae2a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"94700abe834aeef09f9768471ef9beb2330416f7b4591e8355e59b91596cae2a","first_computed_at":"2026-07-05T08:40:25.539632Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:40:25.539632Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"i1tcvUTrxJ3hKM0H/ep0QoSFuNXaYJwWPEuWUaPRax4ujf448ToGVIgvpaul19PyPbwrg4CaKFl6PczqswANDw==","signature_status":"signed_v1","signed_at":"2026-07-05T08:40:25.540087Z","signed_message":"canonical_sha256_bytes"},"source_id":"2407.03896","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:330652de6acf7bbc8958dcb4640a502841a81c1192c5c8fb2798a4f74c48f955","sha256:615ed4949261de2a0df7449a84f99c42c382e0a398d1a40f639e251b589f2ae3"],"state_sha256":"984781392e01bea5446eac23e6d32a3e905013b94ca5db07324e7a45d2d5dc6c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VffTBH6Uovfzm6LMKToSnN5DQZUVLgOuOmibmvD+cPvJP1yCzDEBbUGTzs4FtQfBN/SaDfUq+IHlT7UfNf+6BA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-07T21:30:20.686655Z","bundle_sha256":"a39ee707d3e3b90a8e1f15478173ff64c7ac44cf5ff34b2854badf6d000b4134"}}