Backward Reachability Analysis of Neural Feedback Loops: Techniques for
Linear and Nonlinear Systems

Backward Reachability Analysis of Neural Feedback Loops: Techniques for Linear and Nonlinear Systems

28 September 2022

Chelsea Sidrane

Michael Everett

Mykel J. Kochenderfer

Jonathan P. How

Papers citing "Backward Reachability Analysis of Neural Feedback Loops: Techniques for Linear and Nonlinear Systems"

19 / 19 papers shown

Title
BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems Chelsea Sidrane Jana Tumova 20 0 0 06 May 2025
Act Natural! Extending Naturalistic Projection to Multimodal Behavior Scenarios Hamzah I. Khan David Fridovich-Keil 18 0 0 03 May 2025
Learning Verifiable Control Policies Using Relaxed Verification Puja Chaudhury Alexander Estornell Michael Everett 29 0 0 23 Apr 2025
Efficient Reachability Analysis for Convolutional Neural Networks Using Hybrid Zonotopes Yuhao Zhang Xiangru Xu AAML 50 0 0 13 Mar 2025
Constraint-Aware Refinement for Safety Verification of Neural Feedback Loops Nicholas Rober Jonathan P. How 30 1 0 30 Sep 2024
TTT: A Temporal Refinement Heuristic for Tenuously Tractable Discrete Time Reachability Problems Chelsea Sidrane Jana Tumova 22 3 0 19 Jul 2024
Act Natural! Projecting Autonomous System Trajectories Into Naturalistic Behavior Sets Hamzah I. Khan Adam J. Thorpe David Fridovich-Keil 13 1 0 29 May 2024
How Generalizable Is My Behavior Cloning Policy? A Statistical Approach to Trustworthy Performance Evaluation Joseph A. Vincent Haruki Nishimura Masha Itkina Paarth Shah Mac Schwager Thomas Kollar OffRL 29 9 0 08 May 2024
Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulation Lujie Yang Hongkai Dai Zhouxing Shi Cho-Jui Hsieh Russ Tedrake Huan Zhang 30 14 0 11 Apr 2024
POLICEd RL: Learning Closed-Loop Robot Control Policies with Provable Satisfaction of Hard Constraints Jean-Baptiste Bouvier Kartik Nagpal Negar Mehr 28 3 0 20 Mar 2024
Collision Avoidance Verification of Multiagent Systems with Learned Policies Zihao Dong Shayegan Omidshafiei Michael Everett 19 1 0 05 Mar 2024
Conformal Predictive Safety Filter for RL Controllers in Dynamic Environments Kegan J. Strawn Nora Ayanian Lars Lindemann 21 8 0 05 Jun 2023
Efficient Deep Learning of Robust Policies from MPC using Imitation and Tube-Guided Data Augmentation Andrea Tagliabue Jonathan P. How 12 6 0 01 Jun 2023
Provably Bounding Neural Network Preimages Suhas Kotha Christopher Brix Zico Kolter Krishnamurthy Dvijotham Huan Zhang AAML 15 12 0 02 Feb 2023
Automated Reachability Analysis of Neural Network-Controlled Systems via Adaptive Polytopes Taha Entesari Mahyar Fazlyab 14 5 0 14 Dec 2022
DRIP: Domain Refinement Iteration with Polytopes for Backward Reachability Analysis of Neural Feedback Loops Michael Everett Rudy Bunel Shayegan Omidshafiei 10 9 0 09 Dec 2022
A Hybrid Partitioning Strategy for Backward Reachability of Neural Feedback Loops Nicholas Rober Michael Everett Songan Zhang Jonathan P. How 15 9 0 14 Oct 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
Adversarial examples in the physical world Alexey Kurakin Ian Goodfellow Samy Bengio SILM AAML 250 5,830 0 08 Jul 2016