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 124 0 0 29 Jul 2025
Efficient Preimage Approximation for Neural Network Certification Anton Björklund Mykola Zaitsev Marta Kwiatkowska AAML 202 1 0 28 May 2025
BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems Chelsea Sidrane Jana Tumova 210 0 0 06 May 2025
Act Natural! Extending Naturalistic Projection to Multimodal Behavior Scenarios Hamzah I. Khan David Fridovich-Keil 308 0 0 03 May 2025
Learning Verifiable Control Policies Using Relaxed Verification Puja Chaudhury Alexander Estornell Michael Everett 270 0 0 23 Apr 2025
Efficient Reachability Analysis for Convolutional Neural Networks Using Hybrid ZonotopesAmerican Control Conference (ACC), 2025 Yuhao Zhang Xiangru Xu AAML 227 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 271 5 0 30 Sep 2024
PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks Xiyue Zhang Benjie Wang Marta Z. Kwiatkowska Huan Zhang AAML 275 6 0 17 Aug 2024
TTT: A Temporal Refinement Heuristic for Tenuously Tractable Discrete Time Reachability Problems Chelsea Sidrane Jana Tumova 176 4 0 19 Jul 2024
Act Natural! Projecting Autonomous System Trajectories Into Naturalistic Behavior Sets Hamzah I. Khan Adam J. Thorpe David Fridovich-Keil 170 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 251 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 271 31 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 270 5 0 20 Mar 2024
Collision Avoidance Verification of Multiagent Systems with Learned Policies Zihao Dong Shayegan Omidshafiei Michael Everett 218 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 389 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 383 17 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 460 23 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 235 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 292 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 154 11 0 14 Oct 2022