{"about":{"site":"https://codewithpapers.app","non_affiliation":"Code with Papers and Syntology are not affiliated with, endorsed by, or sponsored by Papers with Code, Meta, or the pwc-archive mirror.","licence":"CC BY-SA 4.0","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","attribution":"https://codewithpapers.app/attribution","modified":"archive material modified by Syntology; see the attribution page"},"url":"/paper/certifiably-correct-control-policies-for-safe","title":"Certifiably-correct Control Policies for Safe Learning and Adaptation in Assistive Robotics","arxiv_id":"2303.06582","date":"2023-03-12","proceeding":null,"authors":["Keyvan Majd","Geoffrey Clark","Tanmay Khandait","Siyu Zhou","Sriram Sankaranarayanan","Georgios Fainekos","Heni Ben Amor"],"abstract":"Guaranteeing safety in human-centric applications is critical in robot learning as the learned policies may demonstrate unsafe behaviors in formerly unseen scenarios. We present a framework to locally repair an erroneous policy network to satisfy a set of formal safety constraints using Mixed Integer Quadratic Programming (MIQP). Our MIQP formulation explicitly imposes the safety constraints to the learned policy while minimizing the original loss function. The policy network is then verified to be locally safe. We demonstrate the application of our framework to derive safe policies for a robotic lower-leg prosthesis.","url_abs":"https://arxiv.org/abs/2303.06582v1","url_pdf":"https://arxiv.org/pdf/2303.06582v1.pdf","source":{"archive":"pwc-archive (Hugging Face), CC BY-SA 4.0","snapshot":"2025-07-28","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","row_kind":"links_only","authors_date_abstract":"arXiv metadata, CC0 1.0 (https://info.arxiv.org/help/license), from the Kaggle arXiv metadata snapshot of 2026-09-12"},"code_links":[{"paper_slug":"certifiably-correct-control-policies-for-safe","repo_url":"https://github.com/k1majd/nnreplayer","is_official":1,"mentioned_in_paper":1,"mentioned_in_github":0,"framework":"tf","reach":{"status":"ok","spdx":"MIT"}}],"tasks":[],"methods":[],"datasets_introduced":[],"methods_introduced":[],"results":[],"syntology":{"syntology_url":"https://syntology.ai/paper/2303.06582","atlas_url":"https://app.syntology.ai/?focus=2303.06582","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2303.06582"}},"developers":"https://syntology.ai/developers","read_at":"2026-09-25T09:33:49+00:00","read_at_is":"when the build read Syntology's graph, not when any sample ran","claim":"Per-sample execution status on synthesized fixtures; not a correctness claim about the paper. Samples come from repositories linked to the paper, official or community; repo_kind says which.","repos":[{"provenance":"deterministic:regex_extraction","url":"https://github.com/k1majd/NNRepLayer","reach":{"status":"ok","spdx":"MIT"}},{"provenance":"external:paperswithcode_snapshot_2025-07-28","url":"https://github.com/k1majd/nnreplayer","reach":{"status":"ok","spdx":"MIT"}}],"summary":{"ran_honours":1,"unverified":1},"by_repo_kind":{"official":{"samples":2,"ran":1,"repositories":1}},"repo_kind_vocabulary":{"official":"The archive marks this repository official for the paper","named_in_paper":"The archive records that the paper mentions this repository; it is not marked official","listed":"In the archive's code links for this paper, not marked official and not recorded as mentioned in the paper","found_in_text":"Syntology found this repository in the paper's own text; whether it is the authors' implementation is not asserted","community":"Not in the archive's code links for this paper; a community repository Syntology harvested"},"n_pointer_only_for_licence":0,"samples":[{"code_sha256_prefix":"9578914dede7bd2d","entry":"loadData","repo":"k1majd/nnreplayer","repo_kind":"official","path":"examples/global_constraint/00_net_train.py","file_url":"https://github.com/k1majd/nnreplayer/blob/HEAD/examples/global_constraint/00_net_train.py","link_basis":"first_harvest_node","language":"python","status":"ran_honours","verification_level":1,"contract_check":"HONOURS","metamorphic_tier":"well_formed","behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"9578914dede7bd2d"}},{"code_sha256_prefix":"6b31b988faea85b8","entry":"generateDataWindow","repo":"k1majd/nnreplayer","repo_kind":"official","path":"examples/global_constraint/00_net_train.py","file_url":"https://github.com/k1majd/nnreplayer/blob/HEAD/examples/global_constraint/00_net_train.py","link_basis":"first_harvest_node","language":"python","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"6b31b988faea85b8"}}]},"arxiv_metadata":null,"syntology_extracted_results":null}