{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:BRE4OAXN74BM7553JDUHV5MVQT","short_pith_number":"pith:BRE4OAXN","schema_version":"1.0","canonical_sha256":"0c49c702edff02cff7bb48e87af59584c5f915f910a563f86369788e02f2507c","source":{"kind":"arxiv","id":"1811.11445","version":1},"attestation_state":"computed","paper":{"title":"Robust Dynamic Programming for Temporal Logic Control of Stochastic Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SY","authors_text":"Sadegh Soudjani, Sofie Haesaert","submitted_at":"2018-11-28T08:53:07Z","abstract_excerpt":"Discrete-time stochastic systems are an essential modelling tool for many engineering systems. We consider stochastic control systems that are evolving over continuous spaces. For this class of models, methods for the formal verification and synthesis of control strategies are computationally hard and generally rely on the use of approximate abstractions. Building on approximate abstractions, we compute control strategies with lower- and upper-bounds for satisfying unbounded temporal logic specifications. Firstly, robust dynamic programming mappings over the abstract system are introduced to s"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1811.11445","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-11-28T08:53:07Z","cross_cats_sorted":[],"title_canon_sha256":"2003b25e7746329804494277f7324d4b8647a5a4758db31401b2ad12a1eecd71","abstract_canon_sha256":"fe271ec43fa5aa0c381a030d94f3564a02df1e518faa31d653370cafe1c6ac25"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:59:42.951447Z","signature_b64":"7D3ypbXlBmpvYSHylZqKYkIJKfaSeW/9o3PL3vWto3jQoTdW+WKCLd2glMmWVZBblbFisJyO2gK/CCRLIlBTBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0c49c702edff02cff7bb48e87af59584c5f915f910a563f86369788e02f2507c","last_reissued_at":"2026-05-17T23:59:42.950957Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:59:42.950957Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Robust Dynamic Programming for Temporal Logic Control of Stochastic Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SY","authors_text":"Sadegh Soudjani, Sofie Haesaert","submitted_at":"2018-11-28T08:53:07Z","abstract_excerpt":"Discrete-time stochastic systems are an essential modelling tool for many engineering systems. We consider stochastic control systems that are evolving over continuous spaces. For this class of models, methods for the formal verification and synthesis of control strategies are computationally hard and generally rely on the use of approximate abstractions. Building on approximate abstractions, we compute control strategies with lower- and upper-bounds for satisfying unbounded temporal logic specifications. Firstly, robust dynamic programming mappings over the abstract system are introduced to s"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.11445","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":""},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1811.11445","created_at":"2026-05-17T23:59:42.951024+00:00"},{"alias_kind":"arxiv_version","alias_value":"1811.11445v1","created_at":"2026-05-17T23:59:42.951024+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.11445","created_at":"2026-05-17T23:59:42.951024+00:00"},{"alias_kind":"pith_short_12","alias_value":"BRE4OAXN74BM","created_at":"2026-05-18T12:32:16.446611+00:00"},{"alias_kind":"pith_short_16","alias_value":"BRE4OAXN74BM7553","created_at":"2026-05-18T12:32:16.446611+00:00"},{"alias_kind":"pith_short_8","alias_value":"BRE4OAXN","created_at":"2026-05-18T12:32:16.446611+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/BRE4OAXN74BM7553JDUHV5MVQT","json":"https://pith.science/pith/BRE4OAXN74BM7553JDUHV5MVQT.json","graph_json":"https://pith.science/api/pith-number/BRE4OAXN74BM7553JDUHV5MVQT/graph.json","events_json":"https://pith.science/api/pith-number/BRE4OAXN74BM7553JDUHV5MVQT/events.json","paper":"https://pith.science/paper/BRE4OAXN"},"agent_actions":{"view_html":"https://pith.science/pith/BRE4OAXN74BM7553JDUHV5MVQT","download_json":"https://pith.science/pith/BRE4OAXN74BM7553JDUHV5MVQT.json","view_paper":"https://pith.science/paper/BRE4OAXN","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1811.11445&json=true","fetch_graph":"https://pith.science/api/pith-number/BRE4OAXN74BM7553JDUHV5MVQT/graph.json","fetch_events":"https://pith.science/api/pith-number/BRE4OAXN74BM7553JDUHV5MVQT/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/BRE4OAXN74BM7553JDUHV5MVQT/action/timestamp_anchor","attest_storage":"https://pith.science/pith/BRE4OAXN74BM7553JDUHV5MVQT/action/storage_attestation","attest_author":"https://pith.science/pith/BRE4OAXN74BM7553JDUHV5MVQT/action/author_attestation","sign_citation":"https://pith.science/pith/BRE4OAXN74BM7553JDUHV5MVQT/action/citation_signature","submit_replication":"https://pith.science/pith/BRE4OAXN74BM7553JDUHV5MVQT/action/replication_record"}},"created_at":"2026-05-17T23:59:42.951024+00:00","updated_at":"2026-05-17T23:59:42.951024+00:00"}