{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:QUMEV4TRHLHOEMZWOF2KPAVJSM","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":"e6cb02c0eacd29a954f0ae0084cb543c470c4d823b11a2abac2438a5b436dbc2","cross_cats_sorted":["cs.AI","cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2023-11-17T20:51:24Z","title_canon_sha256":"c369ec964e9ca42f3015e299b4d6e1f1b9c1bb36140029416e8c80f38e0875f6"},"schema_version":"1.0","source":{"id":"2311.10863","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2311.10863","created_at":"2026-07-05T07:15:17Z"},{"alias_kind":"arxiv_version","alias_value":"2311.10863v3","created_at":"2026-07-05T07:15:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2311.10863","created_at":"2026-07-05T07:15:17Z"},{"alias_kind":"pith_short_12","alias_value":"QUMEV4TRHLHO","created_at":"2026-07-05T07:15:17Z"},{"alias_kind":"pith_short_16","alias_value":"QUMEV4TRHLHOEMZW","created_at":"2026-07-05T07:15:17Z"},{"alias_kind":"pith_short_8","alias_value":"QUMEV4TR","created_at":"2026-07-05T07:15:17Z"}],"graph_snapshots":[{"event_id":"sha256:48c8234cff9e527daa6d9a06f211879dc98f02d35dc364c880014c4ce2654e70","target":"graph","created_at":"2026-07-05T07:15:17Z","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/2311.10863/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Several methods have been proposed recently to learn neural network (NN) controllers for autonomous agents, with unknown and stochastic dynamics, tasked with complex missions captured by Linear Temporal Logic (LTL). Due to the sample-inefficiency of the majority of these works, compositional learning methods have been proposed decomposing the LTL specification into smaller sub-tasks. Then, separate controllers are learned and composed to satisfy the original task. A key challenge within these approaches is that they often lack safety guarantees or the provided guarantees are impractical. This ","authors_text":"Haojun Chen, Jun Wang, Yiannis Kantaros, Zihe Sun","cross_cats":["cs.AI","cs.LG"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2023-11-17T20:51:24Z","title":"Verified Compositional Neuro-Symbolic Control for Stochastic Systems with Temporal Logic Tasks"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2311.10863","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:f59f441b348d857c3afd9d66aaf83d65831476d8c34a3dbdd79870c037cdd085","target":"record","created_at":"2026-07-05T07:15:17Z","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":"e6cb02c0eacd29a954f0ae0084cb543c470c4d823b11a2abac2438a5b436dbc2","cross_cats_sorted":["cs.AI","cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2023-11-17T20:51:24Z","title_canon_sha256":"c369ec964e9ca42f3015e299b4d6e1f1b9c1bb36140029416e8c80f38e0875f6"},"schema_version":"1.0","source":{"id":"2311.10863","kind":"arxiv","version":3}},"canonical_sha256":"85184af2713acee233367174a782a99339efb1f383b6bd546c5946fe135b53ec","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"85184af2713acee233367174a782a99339efb1f383b6bd546c5946fe135b53ec","first_computed_at":"2026-07-05T07:15:17.906990Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:15:17.906990Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"kAq8sCl7k6MPF0aYHYweYb2USXgV1VUDQ1f/hFrCzBzCmxfKLmK92cocSiwvEMquDM+v9KE8k+n43aVtupNMDw==","signature_status":"signed_v1","signed_at":"2026-07-05T07:15:17.907431Z","signed_message":"canonical_sha256_bytes"},"source_id":"2311.10863","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f59f441b348d857c3afd9d66aaf83d65831476d8c34a3dbdd79870c037cdd085","sha256:48c8234cff9e527daa6d9a06f211879dc98f02d35dc364c880014c4ce2654e70"],"state_sha256":"ca7bee6d05e336b6af51d2129629e8ef1470ef229d6d6c0b598b0b7cde8346f7"}