Picture for Saber Jafarpour

Saber Jafarpour

Neural Network-assisted Interval Reachability for Systems with Control Barrier Function-Based Safe Controllers

Add code
Apr 11, 2025
Viaarxiv icon

$\texttt{immrax}$: A Parallelizable and Differentiable Toolbox for Interval Analysis and Mixed Monotone Reachability in JAX

Add code
Jan 21, 2024
Viaarxiv icon

Forward Invariance in Neural Network Controlled Systems

Add code
Sep 16, 2023
Viaarxiv icon

Efficient Interaction-Aware Interval Analysis of Neural Network Feedback Loops

Add code
Aug 05, 2023
Viaarxiv icon

A Toolbox for Fast Interval Arithmetic in numpy with an Application to Formal Verification of Neural Network Controlled Systems

Add code
Jun 27, 2023
Viaarxiv icon

Contraction-Guided Adaptive Partitioning for Reachability Analysis of Neural Network Controlled Systems

Add code
Apr 07, 2023
Viaarxiv icon

Interval Reachability of Nonlinear Dynamical Systems with Neural Network Controllers

Add code
Jan 19, 2023
Viaarxiv icon

Robust Training and Verification of Implicit Neural Networks: A Non-Euclidean Contractive Approach

Add code
Aug 08, 2022
Figure 1 for Robust Training and Verification of Implicit Neural Networks: A Non-Euclidean Contractive Approach
Figure 2 for Robust Training and Verification of Implicit Neural Networks: A Non-Euclidean Contractive Approach
Viaarxiv icon

Comparative Analysis of Interval Reachability for Robust Implicit and Feedforward Neural Networks

Add code
Apr 01, 2022
Figure 1 for Comparative Analysis of Interval Reachability for Robust Implicit and Feedforward Neural Networks
Viaarxiv icon

Robustness Certificates for Implicit Neural Networks: A Mixed Monotone Contractive Approach

Add code
Dec 10, 2021
Figure 1 for Robustness Certificates for Implicit Neural Networks: A Mixed Monotone Contractive Approach
Figure 2 for Robustness Certificates for Implicit Neural Networks: A Mixed Monotone Contractive Approach
Figure 3 for Robustness Certificates for Implicit Neural Networks: A Mixed Monotone Contractive Approach
Viaarxiv icon