Bridging Dimensions: Confident Reachability for High-Dimensional Controllers

8 November 2023

Papers citing "Bridging Dimensions: Confident Reachability for High-Dimensional Controllers"

3 / 3 papers shown

Title
Approximate Bisimulation Relations for Neural Networks and Application to Assured Neural Network Compression Weiming Xiang Zhongzhu Shao 22 6 0 02 Feb 2022
Confidence Composition for Monitors of Verification Assumptions I. Ruchkin Matthew Cleaveland Radoslav Ivanov Pengyuan Lu Taylor J. Carpenter O. Sokolsky Insup Lee 28 13 0 03 Nov 2021
Sample-Efficient Safety Assurances using Conformal Prediction Rachel Luo Shengjia Zhao Jonathan Kuck B. Ivanovic Silvio Savarese Edward Schmerling Marco Pavone 48 56 0 28 Sep 2021