{"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"}