{"total":26,"rows":[{"id":"2112.09197","title":"Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes","created":"2021-12-16","cited_by_count":26,"area":null},{"id":"2207.02715","title":"Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes","created":"2022-07-06","cited_by_count":24,"area":null},{"id":"2401.06379","title":"Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs","created":"2024-01-12","cited_by_count":14,"area":null},{"id":"2207.06531","title":"Reachability Analysis of a General Class of Neural Ordinary Differential Equations","created":"2022-07-13","cited_by_count":13,"area":null},{"id":"2501.05867","title":"Neural Network Verification is a Programming Language Challenge","created":"2025-01-10","cited_by_count":12,"area":null},{"id":"2301.11683","title":"Neural Abstractions","created":"2023-01-27","cited_by_count":11,"area":null},{"id":"2307.14938","title":"Efficient Interaction-Aware Interval Analysis of Neural Network Feedback Loops","created":"2023-07-27","cited_by_count":9,"area":null},{"id":"2308.14424","title":"Shielded Reinforcement Learning for Hybrid Systems","created":"2023-08-28","cited_by_count":8,"area":null},{"id":"2404.15065","title":"Formal Verification of Graph Convolutional Networks with Uncertain Node Features and Uncertain Graph Structure","created":"2024-04-23","cited_by_count":8,"area":null},{"id":"2405.18554","title":"Scalable Surrogate Verification of Image-based Neural Network Control Systems using Composition and Unrolling","created":"2024-05-28","cited_by_count":8,"area":null},{"id":"2108.07134","title":"Neural Predictive Monitoring under Partial Observability","created":"2021-08-16","cited_by_count":7,"area":null},{"id":"2402.10998","title":"Provably Safe Neural Network Controllers via Differential Dynamic Logic","created":"2024-02-16","cited_by_count":7,"area":null},{"id":"2305.01932","title":"Fully Automatic Neural Network Reduction for Formal Verification","created":"2023-05-03","cited_by_count":6,"area":null},{"id":"2404.18813","title":"Safe Reach Set Computation via Neural Barrier Certificates","created":"2024-04-29","cited_by_count":5,"area":null},{"id":"2401.11608","title":"$\\texttt{immrax}$: A Parallelizable and Differentiable Toolbox for Interval Analysis and Mixed Monotone Reachability in JAX","created":"2024-01-21","cited_by_count":4,"area":null},{"id":"2307.13907","title":"Robustness Verification of Deep Neural Networks using Star-Based Reachability Analysis with Variable-Length Time Series Input","created":"2023-07-26","cited_by_count":2,"area":null},{"id":"2312.01959","title":"Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees","created":"2023-12-04","cited_by_count":2,"area":null},{"id":"2605.25346","title":"Parallel Differentiable Reachability for Learning and Planning with Certified Neural Dynamics and Controllers","created":"2026-05-25","cited_by_count":2,"area":null},{"id":"2111.08733","title":"Learning Provably Robust Motion Planners Using Funnel Libraries","created":"2021-11-16","cited_by_count":1,"area":null},{"id":"2308.14093","title":"The inverse problem for neural networks","created":"2023-08-27","cited_by_count":0,"area":null},{"id":"2311.12130","title":"Formal Verification of Long Short-Term Memory based Audio Classifiers: A Star based Approach","created":"2023-11-16","cited_by_count":0,"area":null},{"id":"2312.10842","title":"Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems","created":"2023-12-17","cited_by_count":0,"area":null},{"id":"2407.04988","title":"The Reachability Problem for Neural-Network Control Systems","created":"2024-07-06","cited_by_count":0,"area":null},{"id":"2507.22760","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","created":"2025-07-30","cited_by_count":0,"area":null},{"id":"2510.00519","title":"Architectural Transformations and Emerging Verification Demands in AI-Enabled Cyber-Physical Systems","created":"2025-10-01","cited_by_count":0,"area":null},{"id":"2609.30050","title":"NNV3: Expanding Neural Network Verification to New Architectures and Domains","created":"2026-09-24","cited_by_count":0,"area":null}],"next_cursor":null}