{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:OMY4KJQTQCP5ZTW4EUOWU2DLDZ","short_pith_number":"pith:OMY4KJQT","canonical_record":{"source":{"id":"1602.01358","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2016-02-03T16:18:41Z","cross_cats_sorted":["cs.FL","math.OC"],"title_canon_sha256":"d98f92cf3352209a71a9d3d6d5f7a49648704b093afc247a1b06f42da9ad28df","abstract_canon_sha256":"d630fb7c54438a60e9086d903d7b1ea66c42998c3400141b281052128c1dc7d3"},"schema_version":"1.0"},"canonical_sha256":"7331c52613809fdccedc251d6a686b1e77bbb81b723d81bf2f96532b85c9444e","source":{"kind":"arxiv","id":"1602.01358","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1602.01358","created_at":"2026-05-18T01:21:20Z"},{"alias_kind":"arxiv_version","alias_value":"1602.01358v1","created_at":"2026-05-18T01:21:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1602.01358","created_at":"2026-05-18T01:21:20Z"},{"alias_kind":"pith_short_12","alias_value":"OMY4KJQTQCP5","created_at":"2026-05-18T12:30:36Z"},{"alias_kind":"pith_short_16","alias_value":"OMY4KJQTQCP5ZTW4","created_at":"2026-05-18T12:30:36Z"},{"alias_kind":"pith_short_8","alias_value":"OMY4KJQT","created_at":"2026-05-18T12:30:36Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:OMY4KJQTQCP5ZTW4EUOWU2DLDZ","target":"record","payload":{"canonical_record":{"source":{"id":"1602.01358","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2016-02-03T16:18:41Z","cross_cats_sorted":["cs.FL","math.OC"],"title_canon_sha256":"d98f92cf3352209a71a9d3d6d5f7a49648704b093afc247a1b06f42da9ad28df","abstract_canon_sha256":"d630fb7c54438a60e9086d903d7b1ea66c42998c3400141b281052128c1dc7d3"},"schema_version":"1.0"},"canonical_sha256":"7331c52613809fdccedc251d6a686b1e77bbb81b723d81bf2f96532b85c9444e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:21:20.416099Z","signature_b64":"xGAPbWCwheyKO9iUWTNgA/k1BYHqYTplUzVNJ6vx/+C0jiKcj4/T+pg7RSfQLBCBTz0ELwzojs/g6jbZVIS8AQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7331c52613809fdccedc251d6a686b1e77bbb81b723d81bf2f96532b85c9444e","last_reissued_at":"2026-05-18T01:21:20.411718Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:21:20.411718Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1602.01358","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-05-18T01:21:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vrTWDMhDteV5d0WloY3D3L6CMDNnujG6eeaqbMdlL8Sx9+OgkvNQRsCbLm37Rmzyqz2rjiPMN62YtnmSpcgSBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T01:22:49.078795Z"},"content_sha256":"b002ec7fb0c14fcb0355adf7df01b2f83ca96117ecb45c6ba5b2672d75218367","schema_version":"1.0","event_id":"sha256:b002ec7fb0c14fcb0355adf7df01b2f83ca96117ecb45c6ba5b2672d75218367"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:OMY4KJQTQCP5ZTW4EUOWU2DLDZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Towards Scalable Synthesis of Stochastic Control Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL","math.OC"],"primary_cat":"cs.SY","authors_text":"Alessandro Abate, Ilya Tkachev, Majid Zamani","submitted_at":"2016-02-03T16:18:41Z","abstract_excerpt":"Formal control synthesis approaches over stochastic systems have received significant attention in the past few years, in view of their ability to provide provably correct controllers for complex logical specifications in an automated fashion. Examples of complex specifications of interest include properties expressed as formulae in linear temporal logic (LTL) or as automata on infinite strings. A general methodology to synthesize controllers for such properties resorts to symbolic abstractions of the given stochastic systems. Symbolic models are discrete abstractions of the given concrete sys"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1602.01358","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"},"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-05-18T01:21:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tdGPvwG2wUmknZxsBcimsaNFjQGOqfZNr46Na4BvwPzJaXsP7HY+XP0ZOCZSeSsX+kGrPGMZlIVSfHM9ZnV2Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T01:22:49.079146Z"},"content_sha256":"19a2396d1f7499c18a34e0e7d09c5322875338f70b50b74c6a04759287eb12ec","schema_version":"1.0","event_id":"sha256:19a2396d1f7499c18a34e0e7d09c5322875338f70b50b74c6a04759287eb12ec"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OMY4KJQTQCP5ZTW4EUOWU2DLDZ/bundle.json","state_url":"https://pith.science/pith/OMY4KJQTQCP5ZTW4EUOWU2DLDZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OMY4KJQTQCP5ZTW4EUOWU2DLDZ/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-06-05T01:22:49Z","links":{"resolver":"https://pith.science/pith/OMY4KJQTQCP5ZTW4EUOWU2DLDZ","bundle":"https://pith.science/pith/OMY4KJQTQCP5ZTW4EUOWU2DLDZ/bundle.json","state":"https://pith.science/pith/OMY4KJQTQCP5ZTW4EUOWU2DLDZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OMY4KJQTQCP5ZTW4EUOWU2DLDZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:OMY4KJQTQCP5ZTW4EUOWU2DLDZ","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":"d630fb7c54438a60e9086d903d7b1ea66c42998c3400141b281052128c1dc7d3","cross_cats_sorted":["cs.FL","math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2016-02-03T16:18:41Z","title_canon_sha256":"d98f92cf3352209a71a9d3d6d5f7a49648704b093afc247a1b06f42da9ad28df"},"schema_version":"1.0","source":{"id":"1602.01358","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1602.01358","created_at":"2026-05-18T01:21:20Z"},{"alias_kind":"arxiv_version","alias_value":"1602.01358v1","created_at":"2026-05-18T01:21:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1602.01358","created_at":"2026-05-18T01:21:20Z"},{"alias_kind":"pith_short_12","alias_value":"OMY4KJQTQCP5","created_at":"2026-05-18T12:30:36Z"},{"alias_kind":"pith_short_16","alias_value":"OMY4KJQTQCP5ZTW4","created_at":"2026-05-18T12:30:36Z"},{"alias_kind":"pith_short_8","alias_value":"OMY4KJQT","created_at":"2026-05-18T12:30:36Z"}],"graph_snapshots":[{"event_id":"sha256:19a2396d1f7499c18a34e0e7d09c5322875338f70b50b74c6a04759287eb12ec","target":"graph","created_at":"2026-05-18T01:21:20Z","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"},"paper":{"abstract_excerpt":"Formal control synthesis approaches over stochastic systems have received significant attention in the past few years, in view of their ability to provide provably correct controllers for complex logical specifications in an automated fashion. Examples of complex specifications of interest include properties expressed as formulae in linear temporal logic (LTL) or as automata on infinite strings. A general methodology to synthesize controllers for such properties resorts to symbolic abstractions of the given stochastic systems. Symbolic models are discrete abstractions of the given concrete sys","authors_text":"Alessandro Abate, Ilya Tkachev, Majid Zamani","cross_cats":["cs.FL","math.OC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2016-02-03T16:18:41Z","title":"Towards Scalable Synthesis of Stochastic Control Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1602.01358","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:b002ec7fb0c14fcb0355adf7df01b2f83ca96117ecb45c6ba5b2672d75218367","target":"record","created_at":"2026-05-18T01:21:20Z","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":"d630fb7c54438a60e9086d903d7b1ea66c42998c3400141b281052128c1dc7d3","cross_cats_sorted":["cs.FL","math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2016-02-03T16:18:41Z","title_canon_sha256":"d98f92cf3352209a71a9d3d6d5f7a49648704b093afc247a1b06f42da9ad28df"},"schema_version":"1.0","source":{"id":"1602.01358","kind":"arxiv","version":1}},"canonical_sha256":"7331c52613809fdccedc251d6a686b1e77bbb81b723d81bf2f96532b85c9444e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7331c52613809fdccedc251d6a686b1e77bbb81b723d81bf2f96532b85c9444e","first_computed_at":"2026-05-18T01:21:20.411718Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:21:20.411718Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"xGAPbWCwheyKO9iUWTNgA/k1BYHqYTplUzVNJ6vx/+C0jiKcj4/T+pg7RSfQLBCBTz0ELwzojs/g6jbZVIS8AQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:21:20.416099Z","signed_message":"canonical_sha256_bytes"},"source_id":"1602.01358","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b002ec7fb0c14fcb0355adf7df01b2f83ca96117ecb45c6ba5b2672d75218367","sha256:19a2396d1f7499c18a34e0e7d09c5322875338f70b50b74c6a04759287eb12ec"],"state_sha256":"c43ab6b705bd6f96790307455bcc8e22bf7bb851ed09f4702026cdfecfcf2292"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hiCqSYTnYfMuBkl5CI+t94h5GnIS+xHd0zVV0RzkAXSgbL8DGQOrH/5sCbmmrKK4TYDlB7IUw01/BqH4CA7wAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T01:22:49.081243Z","bundle_sha256":"10f495e8eed16494742636b2db0fa0070881557678f993f5193a7bf0193e9acf"}}