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. 2211.00608
  4. Cited By
ReachLipBnB: A branch-and-bound method for reachability analysis of
  neural autonomous systems using Lipschitz bounds

ReachLipBnB: A branch-and-bound method for reachability analysis of neural autonomous systems using Lipschitz bounds

1 November 2022
Taha Entesari
Sina Sharifi
Mahyar Fazlyab
ArXivPDFHTML

Papers citing "ReachLipBnB: A branch-and-bound method for reachability analysis of neural autonomous systems using Lipschitz bounds"

7 / 7 papers shown
Title
Provable Bounds on the Hessian of Neural Networks: Derivative-Preserving
  Reachability Analysis
Provable Bounds on the Hessian of Neural Networks: Derivative-Preserving Reachability Analysis
Sina Sharifi
Mahyar Fazlyab
51
0
0
06 Jun 2024
Verification-Aided Learning of Neural Network Barrier Functions with
  Termination Guarantees
Verification-Aided Learning of Neural Network Barrier Functions with Termination Guarantees
Shaoru Chen
Lekan Molu
Mahyar Fazlyab
32
4
0
12 Mar 2024
Efficient Interaction-Aware Interval Analysis of Neural Network Feedback
  Loops
Efficient Interaction-Aware Interval Analysis of Neural Network Feedback Loops
Saber Jafarpour
Akash Harapanahalli
Samuel Coogan
31
12
0
27 Jul 2023
Contraction-Guided Adaptive Partitioning for Reachability Analysis of
  Neural Network Controlled Systems
Contraction-Guided Adaptive Partitioning for Reachability Analysis of Neural Network Controlled Systems
Akash Harapanahalli
Saber Jafarpour
Samuel Coogan
33
5
0
07 Apr 2023
Interval Reachability of Nonlinear Dynamical Systems with Neural Network
  Controllers
Interval Reachability of Nonlinear Dynamical Systems with Neural Network Controllers
Saber Jafarpour
Akash Harapanahalli
Samuel Coogan
25
10
0
19 Jan 2023
Automated Reachability Analysis of Neural Network-Controlled Systems via
  Adaptive Polytopes
Automated Reachability Analysis of Neural Network-Controlled Systems via Adaptive Polytopes
Taha Entesari
Mahyar Fazlyab
40
5
0
14 Dec 2022
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
231
1,837
0
03 Feb 2017
1