v1v2v3 (latest)

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"

22 / 22 papers shown

Title
Designing Latent Safety Filters using Pre-Trained Vision Models Ihab Tabbara Yuxuan Yang Ahmad Hamzeh Maxwell Astafyev Hussein Sibai 64 1 0 18 Sep 2025
Scenario-based Compositional Verification of Autonomous Systems with Neural Perception Christopher Watson Rajeev Alur Divya Gopinath Ravi Mangal C. Păsăreanu 153 2 0 29 Apr 2025
Four Principles for Physically Interpretable World Models Jordan Peper Zhenjiang Mao Yuang Geng Siyuan Pan Ivan Ruchkin 341 5 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 224 0 0 28 Feb 2025
Learning Ensembles of Vision-based Safety Control Filters Ihab Tabbara Hussein Sibai 265 3 0 02 Dec 2024
Pre-Trained Vision Models as Perception Backbones for Safety Filters in Autonomous Driving Yuxuan Yang Hussein Sibai 204 2 0 29 Oct 2024
Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes Christian Schilling M. Forets Sebastián Guadalupe 131 43 0 16 Dec 2021
Rebooting ACGAN: Auxiliary Classifier GANs with Stable TrainingNeural Information Processing Systems (NeurIPS), 2021 Minguk Kang Woohyeon Shim Minsu Cho Jaesik Park GAN 244 130 0 01 Nov 2021
Conditional GANs with Auxiliary Discriminative ClassifierInternational Conference on Machine Learning (ICML), 2021 Liang Hou Qi Cao Huawei Shen Siyuan Pan Xiaoshuang Li Xueqi Cheng GAN 306 45 0 21 Jul 2021
Verification of Image-based Neural Network Controllers Using Generative ModelsSymposium on Dependable Autonomic and Secure Computing (DASC), 2021 Sydney M. Katz Anthony Corso Christopher A. Strong Mykel J. Kochenderfer GAN 148 49 0 14 May 2021
NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical SystemsInternational Conference on Computer Aided Verification (CAV), 2020 Hoang-Dung Tran Xiaodong Yang Diego Manzanas Lopez Patrick Musau L. V. Nguyen Weiming Xiang Stanley Bak Taylor T. Johnson 190 260 0 12 Apr 2020
Detecting Adversarial Examples in Learning-Enabled Cyber-Physical Systems using Variational Autoencoder for Regression Feiyang Cai Jiani Li X. Koutsoukos DRL 138 12 0 21 Mar 2020
Real-time Out-of-distribution Detection in Learning-Enabled Cyber-Physical SystemsInternational Conference on Cyber-Physical Systems (ICCPS), 2020 Feiyang Cai X. Koutsoukos OODD 268 82 0 28 Jan 2020
Attacking Vision-based Perception in End-to-End Autonomous Driving ModelsJournal of systems architecture (JSA), 2019 Adith Boloor Karthik Garimella Xin He C. Gill Yevgeniy Vorobeychik Xuan Zhang AAML 130 119 0 02 Oct 2019
Efficient Neural Network Robustness Certification with General Activation Functions Huan Zhang Tsui-Wei Weng Pin-Yu Chen Cho-Jui Hsieh Luca Daniel AAML 251 826 0 02 Nov 2018
Formal Verification of Neural Network Controlled Autonomous Systems Xiaowu Sun Haitham Khedr Yasser Shoukry 182 147 0 31 Oct 2018
Self-Attention Generative Adversarial Networks Han Zhang Ian Goodfellow Dimitris N. Metaxas Augustus Odena GAN 285 3,990 0 21 May 2018
CARLA: An Open Urban Driving Simulator Alexey Dosovitskiy G. Ros Felipe Codevilla Antonio M. López V. Koltun VLM 431 5,994 0 10 Nov 2017
MoCoGAN: Decomposing Motion and Content for Video Generation Sergey Tulyakov Ming-Yuan Liu Xiaodong Yang Jan Kautz GAN 333 1,236 0 17 Jul 2017
Learning Hand-Eye Coordination for Robotic Grasping with Deep Learning and Large-Scale Data Collection Sergey Levine P. Pastor A. Krizhevsky Deirdre Quillen 826 2,134 0 07 Mar 2016
DeepDriving: Learning Affordance for Direct Perception in Autonomous Driving Chenyi Chen Ari Seff A. Kornhauser Jianxiong Xiao 252 1,828 0 01 May 2015
Conditional Generative Adversarial Nets M. Berk Mirza Simon Osindero GAN SyDa AI4CE 893 11,155 0 06 Nov 2014