v1v2 (latest)

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

28 September 2022

Mykel J. Kochenderfer

Jonathan P. How

ArXiv (abs)PDF HTML

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

20 / 20 papers shown

Title
Multi-Agent Path Finding Among Dynamic Uncontrollable Agents with Statistical Safety Guarantees Kegan J. Strawn Thomy Phan Eric Wang Nora Ayanian Sven Koenig Lars Lindemann 108 0 0 29 Jul 2025
Efficient Preimage Approximation for Neural Network Certification Anton Björklund Mykola Zaitsev Marta Kwiatkowska AAML 154 1 0 28 May 2025
BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems Chelsea Sidrane Jana Tumova 182 0 0 06 May 2025
Act Natural! Extending Naturalistic Projection to Multimodal Behavior Scenarios Hamzah I. Khan David Fridovich-Keil 280 0 0 03 May 2025
Learning Verifiable Control Policies Using Relaxed Verification Puja Chaudhury Alexander Estornell Michael Everett 258 0 0 23 Apr 2025
Efficient Reachability Analysis for Convolutional Neural Networks Using Hybrid ZonotopesAmerican Control Conference (ACC), 2025 Yuhao Zhang Xiangru Xu AAML 203 0 0 13 Mar 2025
Constraint-Aware Refinement for Safety Verification of Neural Feedback LoopsIEEE Control Systems Letters (L-CSS), 2024 Nicholas Rober Jonathan P. How 231 4 0 30 Sep 2024
PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks Xiyue Zhang Benjie Wang Marta Z. Kwiatkowska Huan Zhang AAML 237 5 0 17 Aug 2024
TTT: A Temporal Refinement Heuristic for Tenuously Tractable Discrete Time Reachability Problems Chelsea Sidrane Jana Tumova 160 4 0 19 Jul 2024
Act Natural! Projecting Autonomous System Trajectories Into Naturalistic Behavior Sets Hamzah I. Khan Adam J. Thorpe David Fridovich-Keil 150 1 0 29 May 2024
How Generalizable Is My Behavior Cloning Policy? A Statistical Approach to Trustworthy Performance EvaluationIEEE Robotics and Automation Letters (RA-L), 2024 Joseph A. Vincent Haruki Nishimura Masha Itkina Paarth Shah Mac Schwager Thomas Kollar OffRL 231 14 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 247 30 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 242 5 0 20 Mar 2024
Collision Avoidance Verification of Multiagent Systems with Learned Policies Zihao Dong Shayegan Omidshafiei Michael Everett 179 4 0 05 Mar 2024
Conformal Predictive Safety Filter for RL Controllers in Dynamic EnvironmentsIEEE Robotics and Automation Letters (RA-L), 2023 Kegan J. Strawn Nora Ayanian Lars Lindemann 377 16 0 05 Jun 2023
Efficient Deep Learning of Robust Policies from MPC using Imitation and Tube-Guided Data AugmentationIEEE Transactions on robotics (TRO), 2023 Andrea Tagliabue Jonathan P. How 351 16 0 01 Jun 2023
Provably Bounding Neural Network PreimagesNeural Information Processing Systems (NeurIPS), 2023 Suhas Kotha Christopher Brix Zico Kolter Krishnamurthy Dvijotham Huan Zhang AAML 392 21 0 02 Feb 2023
Automated Reachability Analysis of Neural Network-Controlled Systems via Adaptive PolytopesConference on Learning for Dynamics & Control (L4DC), 2022 Taha Entesari Mahyar Fazlyab 191 7 0 14 Dec 2022
DRIP: Domain Refinement Iteration with Polytopes for Backward Reachability Analysis of Neural Feedback LoopsIEEE Control Systems Letters (L-CSS), 2022 Michael Everett Rudy Bunel Shayegan Omidshafiei 268 10 0 09 Dec 2022
A Hybrid Partitioning Strategy for Backward Reachability of Neural Feedback LoopsAmerican Control Conference (ACC), 2022 Nicholas Rober Michael Everett Songan Zhang Jonathan P. How 142 11 0 14 Oct 2022