Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2105.07091
Cited By
Verification of Image-based Neural Network Controllers Using Generative Models
14 May 2021
Sydney M. Katz
Anthony Corso
Christopher A. Strong
Mykel J. Kochenderfer
GAN
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Verification of Image-based Neural Network Controllers Using Generative Models"
15 / 15 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
53
0
0
29 Apr 2025
Scalable Surrogate Verification of Image-based Neural Network Control Systems using Composition and Unrolling
Feiyang Cai
Chuchu Fan
Stanley Bak
77
6
0
28 May 2024
System Safety Monitoring of Learned Components Using Temporal Metric Forecasting
Sepehr Sharifi
Andrea Stocco
Lionel C. Briand
AI4TS
48
1
0
21 May 2024
Perceive With Confidence: Statistical Safety Assurances for Navigation with Learning-Based Perception
Anushri Dixit
Zhiting Mei
Meghan Booker
Mariko Storey-Matsutani
Mariko Storey-Matsutani
Allen Z. Ren
Ola Shorinwa
Anirudha Majumdar
31
5
0
13 Mar 2024
Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study
C. Păsăreanu
Ravi Mangal
D. Gopinath
Sinem Getir Yaman
Calum Imrie
R. Calinescu
Huafeng Yu
32
29
0
06 Feb 2023
Discovering Closed-Loop Failures of Vision-Based Controllers via Reachability Analysis
Kaustav Chakraborty
Somil Bansal
36
12
0
04 Nov 2022
Assuring Safety of Vision-Based Swarm Formation Control
Chiao Hsieh
Yubin Koh
Yangge Li
Sayan Mitra
15
4
0
03 Oct 2022
Enforcing safety for vision-based controllers via Control Barrier Functions and Neural Radiance Fields
Mukun Tong
Charles Dawson
Chuchu Fan
51
29
0
25 Sep 2022
Synthesizing Adversarial Visual Scenarios for Model-Based Robotic Control
Shubhankar Agarwal
Sandeep P. Chinchali
AAML
40
4
0
13 Apr 2022
Safe Control with Learned Certificates: A Survey of Neural Lyapunov, Barrier, and Contraction methods
Charles Dawson
Sicun Gao
Chuchu Fan
41
230
0
23 Feb 2022
Learning Safe, Generalizable Perception-based Hybrid Control with Certificates
Charles Dawson
Bethany Lowenkamp
D. Goff
Chuchu Fan
41
53
0
04 Jan 2022
ZoPE: A Fast Optimizer for ReLU Networks with Low-Dimensional Inputs
Christopher A. Strong
Sydney M. Katz
Anthony Corso
Mykel J. Kochenderfer
22
2
0
09 Jun 2021
Manifold for Machine Learning Assurance
Taejoon Byun
Sanjai Rayadurgam
44
29
0
08 Feb 2020
A Style-Based Generator Architecture for Generative Adversarial Networks
Tero Karras
S. Laine
Timo Aila
306
10,368
0
12 Dec 2018
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
Guy Katz
Clark W. Barrett
D. Dill
Kyle D. Julian
Mykel Kochenderfer
AAML
249
1,838
0
03 Feb 2017
1