{"total":16,"rows":[{"id":"2302.01404","title":"Provably Bounding Neural Network Preimages","created":"2023-02-02","cited_by_count":29,"area":null},{"id":"2404.07956","title":"Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulation","created":"2024-04-11","cited_by_count":25,"area":null},{"id":"2408.09262","title":"PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks","created":"2024-08-17","cited_by_count":8,"area":null},{"id":"2210.07918","title":"A Hybrid Partitioning Strategy for Backward Reachability of Neural Feedback Loops","created":"2022-10-14","cited_by_count":6,"area":null},{"id":"2210.08339","title":"Reachable Polyhedral Marching (RPM): An Exact Analysis Tool for Deep-Learned Control Systems","created":"2022-10-15","cited_by_count":6,"area":null},{"id":"2212.04646","title":"DRIP: Domain Refinement Iteration with Polytopes for Backward Reachability Analysis of Neural Feedback Loops","created":"2022-12-09","cited_by_count":6,"area":null},{"id":"2410.00145","title":"Constraint-Aware Refinement for Safety Verification of Neural Feedback Loops","created":"2024-09-30","cited_by_count":4,"area":null},{"id":"2407.14394","title":"TTT: A Temporal Refinement Heuristic for Tenuously Tractable Discrete Time Reachability Problems","created":"2024-07-19","cited_by_count":3,"area":null},{"id":"2212.07553","title":"Automated Reachability Analysis of Neural Network-Controlled Systems via Adaptive Polytopes","created":"2022-12-14","cited_by_count":2,"area":null},{"id":"2505.03643","title":"BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems","created":"2025-05-06","cited_by_count":2,"area":null},{"id":"2505.22798","title":"Efficient Preimage Approximation for Neural Network Certification","created":"2025-05-28","cited_by_count":2,"area":null},{"id":"2504.16879","title":"Learning Verifiable Control Policies Using Relaxed Verification","created":"2025-04-23","cited_by_count":1,"area":null},{"id":"2603.08964","title":"The FABRIC Strategy for Verifying Neural Feedback Systems","created":"2026-03-09","cited_by_count":1,"area":null},{"id":"2403.03314","title":"Collision Avoidance Verification of Multiagent Systems with Learned Policies","created":"2024-03-05","cited_by_count":0,"area":null},{"id":"2503.10840","title":"Efficient Reachability Analysis for Convolutional Neural Networks Using Hybrid Zonotopes","created":"2025-03-13","cited_by_count":0,"area":null},{"id":"2601.08065","title":"A New Strategy for Verifying Reach-Avoid Specifications in Neural Feedback Systems","created":"2026-01-12","cited_by_count":0,"area":null}],"next_cursor":null}