{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2022:IXCMYG5Z4WK4KV26FTNYCFKM67","short_pith_number":"pith:IXCMYG5Z","schema_version":"1.0","canonical_sha256":"45c4cc1bb9e595c5575e2cdb81154cf7e7052f6b966e84ecdeef810d4c04c01c","source":{"kind":"arxiv","id":"2210.07439","version":1},"attestation_state":"computed","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"},"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":"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2210.07439","created_at":"2026-07-05T05:06:37.172852+00:00"},{"alias_kind":"arxiv_version","alias_value":"2210.07439v1","created_at":"2026-07-05T05:06:37.172852+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2210.07439","created_at":"2026-07-05T05:06:37.172852+00:00"},{"alias_kind":"pith_short_12","alias_value":"IXCMYG5Z4WK4","created_at":"2026-07-05T05:06:37.172852+00:00"},{"alias_kind":"pith_short_16","alias_value":"IXCMYG5Z4WK4KV26","created_at":"2026-07-05T05:06:37.172852+00:00"},{"alias_kind":"pith_short_8","alias_value":"IXCMYG5Z","created_at":"2026-07-05T05:06:37.172852+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/IXCMYG5Z4WK4KV26FTNYCFKM67","json":"https://pith.science/pith/IXCMYG5Z4WK4KV26FTNYCFKM67.json","graph_json":"https://pith.science/api/pith-number/IXCMYG5Z4WK4KV26FTNYCFKM67/graph.json","events_json":"https://pith.science/api/pith-number/IXCMYG5Z4WK4KV26FTNYCFKM67/events.json","paper":"https://pith.science/paper/IXCMYG5Z"},"agent_actions":{"view_html":"https://pith.science/pith/IXCMYG5Z4WK4KV26FTNYCFKM67","download_json":"https://pith.science/pith/IXCMYG5Z4WK4KV26FTNYCFKM67.json","view_paper":"https://pith.science/paper/IXCMYG5Z","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2210.07439&json=true","fetch_graph":"https://pith.science/api/pith-number/IXCMYG5Z4WK4KV26FTNYCFKM67/graph.json","fetch_events":"https://pith.science/api/pith-number/IXCMYG5Z4WK4KV26FTNYCFKM67/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/IXCMYG5Z4WK4KV26FTNYCFKM67/action/timestamp_anchor","attest_storage":"https://pith.science/pith/IXCMYG5Z4WK4KV26FTNYCFKM67/action/storage_attestation","attest_author":"https://pith.science/pith/IXCMYG5Z4WK4KV26FTNYCFKM67/action/author_attestation","sign_citation":"https://pith.science/pith/IXCMYG5Z4WK4KV26FTNYCFKM67/action/citation_signature","submit_replication":"https://pith.science/pith/IXCMYG5Z4WK4KV26FTNYCFKM67/action/replication_record"}},"created_at":"2026-07-05T05:06:37.172852+00:00","updated_at":"2026-07-05T05:06:37.172852+00:00"}