Certifiably-correct Control Policies for Safe Learning and Adaptation in Assistive Robotics

12 March 2023

Papers citing "Certifiably-correct Control Policies for Safe Learning and Adaptation in Assistive Robotics"

3 / 3 papers shown

Title
Sound and Complete Neural Network Repair with Minimality and Locality Guarantees Feisi Fu Wenchao Li KELM AAML 41 26 0 14 Oct 2021
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 249 1,838 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 180 932 0 21 Oct 2016