ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2105.07091
  4. Cited By
Verification of Image-based Neural Network Controllers Using Generative
  Models

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
ArXivPDFHTML

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
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
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
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
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
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
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
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
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
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
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
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
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
Manifold for Machine Learning Assurance
Taejoon Byun
Sanjai Rayadurgam
44
29
0
08 Feb 2020
A Style-Based Generator Architecture for Generative Adversarial Networks
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
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