POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems

25 June 2021

Papers citing "POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems"

34 / 34 papers shown

Title
Neural Network-assisted Interval Reachability for Systems with Control Barrier Function-Based Safe Controllers Damola Ajeyemi Saber Jafarpour Emiliano DallÁnese 25 0 0 11 Apr 2025
Certified Training with Branch-and-Bound: A Case Study on Lyapunov-stable Neural Control Zhouxing Shi Cho-Jui Hsieh Huan Zhang 65 0 0 27 Nov 2024
Certified Robust Invariant Polytope Training in Neural Controlled ODEs Akash Harapanahalli Samuel Coogan 30 2 0 02 Aug 2024
Statistical Reachability Analysis of Stochastic Cyber-Physical Systems under Distribution Shift Navid Hashemi Lars Lindemann Jyotirmoy V. Deshmukh 24 2 0 16 Jul 2024
Formal Verification of Graph Convolutional Networks with Uncertain Node Features and Uncertain Graph Structure Tobias Ladner Michael Eichelbeck Matthias Althoff GNN 43 0 0 23 Apr 2024
Real-Time Safe Control of Neural Network Dynamic Models with Sound Approximation Hanjiang Hu Jianglin Lan Changliu Liu 28 4 0 20 Apr 2024
Unifying Qualitative and Quantitative Safety Verification of DNN-Controlled Systems Dapeng Zhi Peixin Wang Si Liu C.-H. Luke Ong Min Zhang 36 5 0 02 Apr 2024
Provably Safe Neural Network Controllers via Differential Dynamic Logic Samuel Teuber Stefan Mitsch André Platzer AAML 22 8 0 16 Feb 2024
Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems Yuhao Zhou S. Tripakis 8 1 0 17 Dec 2023
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
Data-Driven Reachability Analysis of Stochastic Dynamical Systems with Conformal Inference Navid Hashemi Xin Qin Lars Lindemann Jyotirmoy V. Deshmukh AI4CE 26 17 0 17 Sep 2023
Forward Invariance in Neural Network Controlled Systems Akash Harapanahalli Saber Jafarpour Samuel Coogan 19 4 0 16 Sep 2023
Efficient Interaction-Aware Interval Analysis of Neural Network Feedback Loops Saber Jafarpour Akash Harapanahalli Samuel Coogan 13 12 0 27 Jul 2023
Neural Abstraction-Based Controller Synthesis and Deployment R. Majumdar Mahmoud Salamati Sadegh Soudjani 14 2 0 07 Jul 2023
A Toolbox for Fast Interval Arithmetic in numpy with an Application to Formal Verification of Neural Network Controlled Systems Akash Harapanahalli Saber Jafarpour Samuel Coogan 14 12 0 27 Jun 2023
Fully Automatic Neural Network Reduction for Formal Verification Tobias Ladner Matthias Althoff AAML 21 3 0 03 May 2023
Contraction-Guided Adaptive Partitioning for Reachability Analysis of Neural Network Controlled Systems Akash Harapanahalli Saber Jafarpour Samuel Coogan 26 5 0 07 Apr 2023
POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems Yixuan Wang Weichao Zhou Jiameng Fan Zhilu Wang Jiajun Li Xin Chen Chao Huang Wenchao Li Qi Zhu 20 15 0 31 Mar 2023
A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems Navid Hashemi Bardh Hoxha Tomoya Yamaguchi Danil Prokhorov Geogios Fainekos Jyotirmoy Deshmukh 23 7 0 07 Mar 2023
Safety Analysis of Autonomous Driving Systems Based on Model Learning Renjue Li Tianhang Qin Pengfei Yang Cheng-Chao Huang Youcheng Sun Lijun Zhang 10 1 0 23 Nov 2022
BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic Wael Fatnassi Haitham Khedr Valen Yamamoto Yasser Shoukry 14 6 0 22 Nov 2022
Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training Jiaxu Tian Dapeng Zhi Si Liu Peixin Wang Guy Katz M. Zhang 11 1 0 21 Nov 2022
Reachability Verification Based Reliability Assessment for Deep Reinforcement Learning Controlled Robotics and Autonomous Systems Yizhen Dong Xingyu Zhao Sen Wang Xiaowei Huang 13 7 0 26 Oct 2022
Towards Global Neural Network Abstractions with Locally-Exact Reconstruction Edoardo Manino I. Bessa Lucas C. Cordeiro 17 1 0 21 Oct 2022
Enforcing Hard Constraints with Soft Barriers: Safe Reinforcement Learning in Unknown Stochastic Environments Yixuan Wang S. Zhan Ruochen Jiao Zhilu Wang Wanxin Jin Zhuoran Yang Zhaoran Wang Chao Huang Qi Zhu 11 48 0 29 Sep 2022
Polynomial-Time Reachability for LTI Systems with Two-Level Lattice Neural Network Controllers James Ferlez Yasser Shoukry 12 1 0 20 Sep 2022
Risk Verification of Stochastic Systems with Neural Network Controllers Matthew Cleaveland Lars Lindemann Radoslav Ivanov George Pappas 6 8 0 26 Aug 2022
Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes Niklas Kochdumper Christian Schilling Matthias Althoff Stanley Bak 19 32 0 06 Jul 2022
Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding Zhilu Wang Chao Huang Qi Zhu AAML 31 18 0 26 Mar 2022
Joint Differentiable Optimization and Verification for Certified Reinforcement Learning Yixuan Wang S. Zhan Zhilu Wang Chao Huang Zhaoran Wang Zhuoran Yang Qi Zhu 6 22 0 28 Jan 2022
Physics-Aware Safety-Assured Design of Hierarchical Neural Network based Planner Xiangguo Liu Chao Huang Yixuan Wang Bowen Zheng Qi Zhu 22 19 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,818 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