Generating probabilistic safety guarantees for neural network controllers

Sydney M. Katz, Kyle D. Julian, Christopher A. Strong, Mykel J. Kochenderfer. Generating probabilistic safety guarantees for neural network controllers. Machine Learning, 112(8):2903-2931, 2023. [doi]

Abstract

Abstract is missing.