Provably Correct Training of Neural Network Controllers Using Reachability Analysis

22 February 2021

Papers citing "Provably Correct Training of Neural Network Controllers Using Reachability Analysis"

4 / 4 papers shown

Title
Counterexample-Guided Repair of Reinforcement Learning Systems Using Safety Critics David Boetius Stefan Leue 18 0 0 24 May 2024
Failing with Grace: Learning Neural Network Controllers that are Boundedly Unsafe Panagiotis Vlantis Leila J. Bridgeman Michael M. Zavlanos 25 0 0 22 Jun 2021
Adaptive Control Barrier Functions for Safety-Critical Systems Filippo Ascolani C. Belta Christos G. Cassandras 36 12 0 11 Feb 2020
Safe Exploration in Markov Decision Processes T. Moldovan Pieter Abbeel 70 308 0 22 May 2012