{"total":75,"rows":[{"id":"2108.04140","title":"Reachability Analysis of Neural Feedback Loops","created":"2021-08-09","cited_by_count":41,"area":null},{"id":"2106.13867","title":"POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems","created":"2021-06-25","cited_by_count":39,"area":null},{"id":"2108.01220","title":"OVERT: An Algorithm for Safety Verification of Neural Network Control Policies for Nonlinear Systems","created":"2021-08-03","cited_by_count":38,"area":null},{"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":"2112.09495","title":"Stability Verification in Stochastic Control Systems via Neural Network Supermartingales","created":"2021-12-17","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":"2209.14076","title":"Backward Reachability Analysis of Neural Feedback Loops: Techniques for Linear and Nonlinear Systems","created":"2022-09-28","cited_by_count":18,"area":null},{"id":"2302.04634","title":"Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study","created":"2023-02-06","cited_by_count":18,"area":null},{"id":"2205.09927","title":"CertiFair: A Framework for Certified Global Fairness of Neural Networks","created":"2022-05-20","cited_by_count":17,"area":null},{"id":"2102.03824","title":"Neural Termination Analysis","created":"2021-02-07","cited_by_count":16,"area":null},{"id":"2206.03669","title":"Toward Certified Robustness Against Real-World Distribution Shifts","created":"2022-06-08","cited_by_count":16,"area":null},{"id":"2110.01388","title":"Neural Network Verification in Control","created":"2021-09-30","cited_by_count":14,"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":"2111.03165","title":"Infinite Time Horizon Safety of Bayesian Neural Networks","created":"2021-11-04","cited_by_count":13,"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":"2211.02375","title":"Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes","created":"2022-11-04","cited_by_count":13,"area":null},{"id":"2109.08947","title":"Risk-averse autonomous systems: A brief history and recent developments from the perspective of optimal control","created":"2021-09-18","cited_by_count":12,"area":null},{"id":"2112.05745","title":"A Simple and Efficient Sampling-based Algorithm for General Reachability Analysis","created":"2021-12-10","cited_by_count":12,"area":null},{"id":"2304.01218","title":"POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems","created":"2023-03-31","cited_by_count":12,"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":"2109.06728","title":"Learning Density Distribution of Reachable States for Autonomous Systems","created":"2021-09-14","cited_by_count":11,"area":null},{"id":"2101.01815","title":"Efficient Reachability Analysis of Closed-Loop Systems with Neural Network Controllers","created":"2021-01-05","cited_by_count":10,"area":null},{"id":"2203.07671","title":"Safe Neurosymbolic Learning with Differentiable Symbolic Execution","created":"2022-03-15","cited_by_count":9,"area":null},{"id":"2204.08319","title":"Backward Reachability Analysis for Neural Feedback Loops","created":"2022-04-14","cited_by_count":9,"area":null},{"id":"2301.07912","title":"Interval Reachability of Nonlinear Dynamical Systems with Neural Network Controllers","created":"2023-01-19","cited_by_count":9,"area":null},{"id":"2111.09293","title":"Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks","created":"2021-11-17","cited_by_count":8,"area":null},{"id":"2201.06626","title":"Neural Network Compression of ACAS Xu Early Prototype is Unsafe: Closed-Loop Verification through Quantized State Backreachability","created":"2022-01-17","cited_by_count":8,"area":null},{"id":"2301.12100","title":"Reachability Analysis of Neural Network Control Systems","created":"2023-01-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":"2111.03782","title":"Confidence Composition for Monitors of Verification Assumptions","created":"2021-11-03","cited_by_count":6,"area":null},{"id":"2209.09881","title":"Risk Verification of Stochastic Systems with Neural Network Controllers","created":"2022-08-26","cited_by_count":6,"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.08578","title":"Provable Fairness for Neural Network Models using Formal Verification","created":"2022-12-16","cited_by_count":6,"area":null},{"id":"2505.17854","title":"Out of the Shadows: Exploring a Latent Space for Neural Network Verification","created":"2025-05-23","cited_by_count":6,"area":null},{"id":"2102.10806","title":"Provably Correct Training of Neural Network Controllers Using Reachability Analysis","created":"2021-02-22","cited_by_count":5,"area":null},{"id":"2104.10219","title":"Scalable Synthesis of Verified Controllers in Deep Reinforcement Learning","created":"2021-04-20","cited_by_count":5,"area":null},{"id":"2202.05207","title":"Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers","created":"2022-02-10","cited_by_count":5,"area":null},{"id":"2211.14438","title":"BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic","created":"2022-11-22","cited_by_count":5,"area":null},{"id":"2311.04843","title":"Bridging Dimensions: Confident Reachability for High-Dimensional Controllers","created":"2023-11-08","cited_by_count":5,"area":null},{"id":"2103.01203","title":"Generating Probabilistic Safety Guarantees for Neural Network Controllers","created":"2021-03-01","cited_by_count":4,"area":null},{"id":"2206.03482","title":"Chordal Sparsity for SDP-based Neural Network Verification","created":"2022-06-07","cited_by_count":4,"area":null},{"id":"2405.15912","title":"Uncertainty Quantification for Neurosymbolic Programs via Compositional Conformal Prediction","created":"2024-05-24","cited_by_count":4,"area":null},{"id":"2106.06931","title":"Learning on Abstract Domains: A New Approach for Verifiable Guarantee in Reinforcement Learning","created":"2021-06-13","cited_by_count":3,"area":null},{"id":"2210.14991","title":"Reachability Verification Based Reliability Assessment for Deep Reinforcement Learning Controlled Robotics and Autonomous Systems","created":"2022-10-26","cited_by_count":3,"area":null},{"id":"2303.05394","title":"A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems","created":"2023-03-07","cited_by_count":3,"area":null},{"id":"2402.01353","title":"Compiling High-Level Neural Network Specifications into VNN-LIB Queries","created":"2024-01-24","cited_by_count":3,"area":null},{"id":"2406.04476","title":"Provable Bounds on the Hessian of Neural Networks: Derivative-Preserving Reachability Analysis","created":"2024-06-06","cited_by_count":3,"area":null},{"id":"2103.05142","title":"Formal Verification of Stochastic Systems with ReLU Neural Network Controllers","created":"2021-03-08","cited_by_count":2,"area":null},{"id":"2301.13807","title":"Identifying the Hazard Boundary of ML-enabled Autonomous Systems Using Cooperative Co-Evolutionary Search","created":"2023-01-31","cited_by_count":2,"area":null},{"id":"2307.03783","title":"Neural Abstraction-Based Controller Synthesis and Deployment","created":"2023-07-07","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":"2104.15006","title":"ModelGuard: Runtime Validation of Lipschitz-continuous Models","created":"2021-04-30","cited_by_count":1,"area":null},{"id":"2207.06755","title":"Verification of Sigmoidal Artificial Neural Networks using iSAT","created":"2022-07-14","cited_by_count":1,"area":null},{"id":"2209.08073","title":"Case Studies for Computing Density of Reachable States for Safe Autonomous Motion Planning","created":"2022-09-16","cited_by_count":1,"area":null},{"id":"2301.08980","title":"Towards Quantification of Assurance for Learning-enabled Components","created":"2023-01-21","cited_by_count":1,"area":null},{"id":"2302.06572","title":"EnergyShield: Provably-Safe Offloading of Neural Network Controllers for Energy Efficiency","created":"2023-02-13","cited_by_count":1,"area":null},{"id":"2305.18372","title":"Assumption Generation for the Verification of Learning-Enabled Autonomous Systems","created":"2023-05-27","cited_by_count":1,"area":null},{"id":"2308.07738","title":"Formally-Sharp DAgger for MCTS: Lower-Latency Monte Carlo Tree Search using Data Aggregation with Formal Methods","created":"2023-08-15","cited_by_count":1,"area":null},{"id":"2504.16879","title":"Learning Verifiable Control Policies Using Relaxed Verification","created":"2025-04-23","cited_by_count":1,"area":null},{"id":"2605.07451","title":"VNN-LIB 2.0: Rigorous Foundations for Neural Network Verification","created":"2026-05-08","cited_by_count":1,"area":null},{"id":"2606.02562","title":"Permissive Safety Through Trusted Inference: Verifiable Belief-Space Neural Safety Filters for Assured Interactive Robotics","created":"2026-06-01","cited_by_count":1,"area":null},{"id":"2609.10951","title":"Testing Between the Test Cases: Proving End-to-End Steering in Conditions You Never Drove","created":"2026-09-10","cited_by_count":1,"area":null},{"id":"2110.05390","title":"Synthesizing Machine Learning Programs with PAC Guarantees via Statistical Sketching","created":"2021-10-11","cited_by_count":0,"area":null},{"id":"2211.12733","title":"Safety Analysis of Autonomous Driving Systems Based on Model Learning","created":"2022-11-23","cited_by_count":0,"area":null},{"id":"2212.14115","title":"Certifying Safety in Reinforcement Learning under Adversarial Perturbation Attacks","created":"2022-12-28","cited_by_count":0,"area":null},{"id":"2304.06049","title":"Equivalent and Compact Representations of Neural Network Controllers With Decision Trees","created":"2023-04-11","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":"2505.22104","title":"Efficient Dynamic Shielding for Parametric Safety Specifications","created":"2025-05-28","cited_by_count":0,"area":null},{"id":"2507.04523","title":"Verification of Visual Controllers via Compositional Geometric Transformations","created":"2025-07-06","cited_by_count":0,"area":null},{"id":"2511.14755","title":"Robust Verification of Controllers under State Uncertainty via Hamilton-Jacobi Reachability Analysis","created":"2025-11-18","cited_by_count":0,"area":null},{"id":"2602.03799","title":"Conformal Reachability for Safe Control in Unknown Environments","created":"2026-02-03","cited_by_count":0,"area":null},{"id":"2602.06737","title":"Optimized Piecewise Affine Abstractions of Neural Networks with Learnable Activation Functions","created":"2026-02-06","cited_by_count":0,"area":null},{"id":"2607.03634","title":"The Role of Rigor in Artificial Intelligence","created":"2026-05-19","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}