POLAR-Express: Efficient and Precise Formal Reachability Analysis of
Neural-Network Controlled Systems

POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems

31 March 2023

Papers citing "POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems"

13 / 13 papers shown

Title
Neural Network Verification for Gliding Drone Control: A Case Study Colin Kessler Ekaterina Komendantskaya Marco Casadio Ignazio Maria Viola Thomas Flinkow Albaraa Ammar Othman Alistair Malhotra Robbie McPherson 44 1 0 01 May 2025
Learning Verifiable Control Policies Using Relaxed Verification Puja Chaudhury Alexander Estornell Michael Everett 29 0 0 23 Apr 2025
Certified Training with Branch-and-Bound: A Case Study on Lyapunov-stable Neural Control Zhouxing Shi Cho-Jui Hsieh Huan Zhang 70 0 0 27 Nov 2024
$$\texttt{immrax}$: A Parallelizable and Differentiable Toolbox for Interval Analysis and Mixed Monotone Reachability in JAX$ $\texttt{immrax}$ : A Parallelizable and Differentiable Toolbox for Interval Analysis and Mixed Monotone Reachability in JAX Akash Harapanahalli Saber Jafarpour Samuel Coogan 19 1 0 21 Jan 2024
Empowering Autonomous Driving with Large Language Models: A Safety Perspective Yixuan Wang Ruochen Jiao Sinong Simon Zhan Chengtian Lang Chao Huang Zhaoran Wang Zhuoran Yang Qi Zhu 22 26 0 28 Nov 2023
Bridging Dimensions: Confident Reachability for High-Dimensional Controllers Yuang Geng Jake Brandon Baldauf Souradeep Dutta Chao Huang Ivan Ruchkin 30 5 0 08 Nov 2023
State-Wise Safe Reinforcement Learning With Pixel Observations S. Zhan Yixuan Wang Qingyuan Wu Ruochen Jiao Chao Huang Qi Zhu 25 10 0 03 Nov 2023
DeepBern-Nets: Taming the Complexity of Certifying Neural Networks using Bernstein Polynomial Activations and Precise Bound Propagation Haitham Khedr Yasser Shoukry 34 4 0 22 May 2023
Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding Zhilu Wang Chao Huang Qi Zhu AAML 34 18 0 26 Mar 2022
Physics-Aware Safety-Assured Design of Hierarchical Neural Network based Planner Xiangguo Liu Chao Huang Yixuan Wang Bowen Zheng Qi Zhu 27 19 0 22 Jan 2022
Safety-driven Interactive Planning for Neural Network-based Lane Changing Xiangguo Liu Ruochen Jiao Bowen Zheng Davis Liang Qi Zhu 28 15 0 22 Jan 2022
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 222 1,832 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 178 929 0 21 Oct 2016