Scalable Surrogate Verification of Image-based Neural Network Control Systems using Composition and Unrolling

28 May 2024

Papers citing "Scalable Surrogate Verification of Image-based Neural Network Control Systems using Composition and Unrolling"

6 / 6 papers shown

Title
Scenario-based Compositional Verification of Autonomous Systems with Neural Perception Christopher Watson Rajeev Alur Divya Gopinath Ravi Mangal C. Păsăreanu 46 0 0 29 Apr 2025
Four Principles for Physically Interpretable World Models Jordan Peper Zhenjiang Mao Yuang Geng Siyuan Pan Ivan Ruchkin 97 1 0 04 Mar 2025
Learning Vision-Based Neural Network Controllers with Semi-Probabilistic Safety Guarantees Xinhang Ma Junlin Wu Hussein Sibai Y. Kantaros Yevgeniy Vorobeychik 26 0 0 28 Feb 2025
Learning Ensembles of Vision-based Safety Control Filters Ihab Tabbara Hussein Sibai 74 2 0 02 Dec 2024
Pre-Trained Vision Models as Perception Backbones for Safety Filters in Autonomous Driving Yuxuan Yang Hussein Sibai 29 1 0 29 Oct 2024
Real-time Out-of-distribution Detection in Learning-Enabled Cyber-Physical Systems Feiyang Cai X. Koutsoukos OODD 106 68 0 28 Jan 2020