{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:IXCMYG5Z4WK4KV26FTNYCFKM67","short_pith_number":"pith:IXCMYG5Z","canonical_record":{"source":{"id":"2210.07439","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"eess.SY","submitted_at":"2022-10-14T00:49:08Z","cross_cats_sorted":["cs.AI","cs.FL","cs.SY"],"title_canon_sha256":"8d3039680eb1e857ce79d232fca6788af2f6b636ad3b6249175d88a68ad39bd6","abstract_canon_sha256":"4b91f423ee760943c6902cfd8257874c31dff417226b89644c155d70569c442f"},"schema_version":"1.0"},"canonical_sha256":"45c4cc1bb9e595c5575e2cdb81154cf7e7052f6b966e84ecdeef810d4c04c01c","source":{"kind":"arxiv","id":"2210.07439","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2210.07439","created_at":"2026-07-05T05:06:37Z"},{"alias_kind":"arxiv_version","alias_value":"2210.07439v1","created_at":"2026-07-05T05:06:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2210.07439","created_at":"2026-07-05T05:06:37Z"},{"alias_kind":"pith_short_12","alias_value":"IXCMYG5Z4WK4","created_at":"2026-07-05T05:06:37Z"},{"alias_kind":"pith_short_16","alias_value":"IXCMYG5Z4WK4KV26","created_at":"2026-07-05T05:06:37Z"},{"alias_kind":"pith_short_8","alias_value":"IXCMYG5Z","created_at":"2026-07-05T05:06:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:IXCMYG5Z4WK4KV26FTNYCFKM67","target":"record","payload":{"canonical_record":{"source":{"id":"2210.07439","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"eess.SY","submitted_at":"2022-10-14T00:49:08Z","cross_cats_sorted":["cs.AI","cs.FL","cs.SY"],"title_canon_sha256":"8d3039680eb1e857ce79d232fca6788af2f6b636ad3b6249175d88a68ad39bd6","abstract_canon_sha256":"4b91f423ee760943c6902cfd8257874c31dff417226b89644c155d70569c442f"},"schema_version":"1.0"},"canonical_sha256":"45c4cc1bb9e595c5575e2cdb81154cf7e7052f6b966e84ecdeef810d4c04c01c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:06:37.173184Z","signature_b64":"3oZ6vgDNgv2RnPUv3CtTC92KzM8Qfuc4eXJC3MFNeVsxY0hUtCvSpTv07UHpZHpZSngL5qcX2SQsPJNesg4AAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"45c4cc1bb9e595c5575e2cdb81154cf7e7052f6b966e84ecdeef810d4c04c01c","last_reissued_at":"2026-07-05T05:06:37.172797Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:06:37.172797Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2210.07439","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-05T05:06:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"B+8NpAt24yntsczQ/CKaporcX515vxKWTu9HtEcGJf6iI5GhfiMA4eZVKLU6kFS90FT4iMvKk0DecHn5PXrpDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-24T06:07:08.398949Z"},"content_sha256":"1979c78143a1f54c68e5b63dd00ba7a70bc7edd33f768ae2258252051e399c71","schema_version":"1.0","event_id":"sha256:1979c78143a1f54c68e5b63dd00ba7a70bc7edd33f768ae2258252051e399c71"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:IXCMYG5Z4WK4KV26FTNYCFKM67","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.AI","cs.FL","cs.SY"],"primary_cat":"eess.SY","authors_text":"Bardh Hoxha, Danil Prokhorov, Georgios Fainekos, Jyotirmoy V. Deshmukh, Navid Hashemi, Tomoya Yamaguchi, Xin Qin","submitted_at":"2022-10-14T00:49:08Z","abstract_excerpt":"In this paper, we consider the problem of synthesizing a controller in the presence of uncertainty such that the resulting closed-loop system satisfies certain hard constraints while optimizing certain (soft) performance objectives. We assume that the hard constraints encoding safety or mission-critical task objectives are expressed using Signal Temporal Logic (STL), while performance is quantified using standard cost functions on system trajectories. In order to prioritize the satisfaction of the hard STL constraints, we utilize the framework of control barrier functions (CBFs) and algorithmi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2210.07439","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/2210.07439/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-05T05:06:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9TOf2Zh6VZaH0FKzcjaBHXdASV+ZoWMHvGSagBEkYPInSNKuwhxgEEcea2HxLmk/F83IG6CnZnO8zrVJUepvBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-24T06:07:08.399346Z"},"content_sha256":"b60e36c89f5ff08109934b6e4adfc63703fbf5995bbe577bad6059bdcaca2376","schema_version":"1.0","event_id":"sha256:b60e36c89f5ff08109934b6e4adfc63703fbf5995bbe577bad6059bdcaca2376"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/IXCMYG5Z4WK4KV26FTNYCFKM67/bundle.json","state_url":"https://pith.science/pith/IXCMYG5Z4WK4KV26FTNYCFKM67/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/IXCMYG5Z4WK4KV26FTNYCFKM67/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-07-24T06:07:08Z","links":{"resolver":"https://pith.science/pith/IXCMYG5Z4WK4KV26FTNYCFKM67","bundle":"https://pith.science/pith/IXCMYG5Z4WK4KV26FTNYCFKM67/bundle.json","state":"https://pith.science/pith/IXCMYG5Z4WK4KV26FTNYCFKM67/state.json","well_known_bundle":"https://pith.science/.well-known/pith/IXCMYG5Z4WK4KV26FTNYCFKM67/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:IXCMYG5Z4WK4KV26FTNYCFKM67","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":"4b91f423ee760943c6902cfd8257874c31dff417226b89644c155d70569c442f","cross_cats_sorted":["cs.AI","cs.FL","cs.SY"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"eess.SY","submitted_at":"2022-10-14T00:49:08Z","title_canon_sha256":"8d3039680eb1e857ce79d232fca6788af2f6b636ad3b6249175d88a68ad39bd6"},"schema_version":"1.0","source":{"id":"2210.07439","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2210.07439","created_at":"2026-07-05T05:06:37Z"},{"alias_kind":"arxiv_version","alias_value":"2210.07439v1","created_at":"2026-07-05T05:06:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2210.07439","created_at":"2026-07-05T05:06:37Z"},{"alias_kind":"pith_short_12","alias_value":"IXCMYG5Z4WK4","created_at":"2026-07-05T05:06:37Z"},{"alias_kind":"pith_short_16","alias_value":"IXCMYG5Z4WK4KV26","created_at":"2026-07-05T05:06:37Z"},{"alias_kind":"pith_short_8","alias_value":"IXCMYG5Z","created_at":"2026-07-05T05:06:37Z"}],"graph_snapshots":[{"event_id":"sha256:b60e36c89f5ff08109934b6e4adfc63703fbf5995bbe577bad6059bdcaca2376","target":"graph","created_at":"2026-07-05T05:06:37Z","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/2210.07439/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In this paper, we consider the problem of synthesizing a controller in the presence of uncertainty such that the resulting closed-loop system satisfies certain hard constraints while optimizing certain (soft) performance objectives. We assume that the hard constraints encoding safety or mission-critical task objectives are expressed using Signal Temporal Logic (STL), while performance is quantified using standard cost functions on system trajectories. In order to prioritize the satisfaction of the hard STL constraints, we utilize the framework of control barrier functions (CBFs) and algorithmi","authors_text":"Bardh Hoxha, Danil Prokhorov, Georgios Fainekos, Jyotirmoy V. Deshmukh, Navid Hashemi, Tomoya Yamaguchi, Xin Qin","cross_cats":["cs.AI","cs.FL","cs.SY"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"eess.SY","submitted_at":"2022-10-14T00:49:08Z","title":"Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2210.07439","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:1979c78143a1f54c68e5b63dd00ba7a70bc7edd33f768ae2258252051e399c71","target":"record","created_at":"2026-07-05T05:06:37Z","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":"4b91f423ee760943c6902cfd8257874c31dff417226b89644c155d70569c442f","cross_cats_sorted":["cs.AI","cs.FL","cs.SY"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"eess.SY","submitted_at":"2022-10-14T00:49:08Z","title_canon_sha256":"8d3039680eb1e857ce79d232fca6788af2f6b636ad3b6249175d88a68ad39bd6"},"schema_version":"1.0","source":{"id":"2210.07439","kind":"arxiv","version":1}},"canonical_sha256":"45c4cc1bb9e595c5575e2cdb81154cf7e7052f6b966e84ecdeef810d4c04c01c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"45c4cc1bb9e595c5575e2cdb81154cf7e7052f6b966e84ecdeef810d4c04c01c","first_computed_at":"2026-07-05T05:06:37.172797Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:06:37.172797Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"3oZ6vgDNgv2RnPUv3CtTC92KzM8Qfuc4eXJC3MFNeVsxY0hUtCvSpTv07UHpZHpZSngL5qcX2SQsPJNesg4AAw==","signature_status":"signed_v1","signed_at":"2026-07-05T05:06:37.173184Z","signed_message":"canonical_sha256_bytes"},"source_id":"2210.07439","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1979c78143a1f54c68e5b63dd00ba7a70bc7edd33f768ae2258252051e399c71","sha256:b60e36c89f5ff08109934b6e4adfc63703fbf5995bbe577bad6059bdcaca2376"],"state_sha256":"7939f20b7d83c54608e3412f6486608b4e03ca0b0eb9b18fd00b464d76ce2e6f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QtiqS+z4cmJkgmF3aDWtvRuWYbka+iZk7fXBJOIfzJqLWNmbO03VrwSZTJpHFJkb3wiplKP/uXFNIv/fUv+ZBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-24T06:07:08.402379Z","bundle_sha256":"f31f334d5eb1a87e04b34ec30cd0159fcd06e78b029299f79bbd55ce9cbd5d59"}}