{"total":58,"rows":[{"id":"2401.14461","title":"Marabou 2.0: A Versatile Formal Analyzer of Neural Networks","created":"2024-01-25","cited_by_count":81,"area":null},{"id":"2204.09274","title":"Causality-based Neural Network Repair","created":"2022-04-20","cited_by_count":47,"area":"safety"},{"id":"2104.04413","title":"Provable Repair of Deep Neural Networks","created":"2021-04-09","cited_by_count":42,"area":null},{"id":"2210.13915","title":"Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks","created":"2022-10-25","cited_by_count":42,"area":null},{"id":"2206.00512","title":"Neural Network Verification with Proof Production","created":"2022-06-01","cited_by_count":22,"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":"2304.01874","title":"Incremental Verification of Neural Networks","created":"2023-04-04","cited_by_count":14,"area":null},{"id":"2110.07682","title":"Sound and Complete Neural Network Repair with Minimality and Locality Guarantees","created":"2021-10-14","cited_by_count":13,"area":null},{"id":"2112.02807","title":"MDPFuzz: Testing Models Solving Markov Decision Processes","created":"2021-12-06","cited_by_count":12,"area":null},{"id":"2305.19521","title":"Incremental Randomized Smoothing Certification","created":"2023-05-31","cited_by_count":12,"area":null},{"id":"2207.00759","title":"Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks","created":"2022-07-02","cited_by_count":11,"area":null},{"id":"2304.03496","title":"Architecture-Preserving Provable Repair of Deep Neural Networks","created":"2023-04-07","cited_by_count":11,"area":null},{"id":"2101.03263","title":"SyReNN: A Tool for Analyzing Deep Neural Networks","created":"2021-01-09","cited_by_count":10,"area":null},{"id":"2204.08319","title":"Backward Reachability Analysis for Neural Feedback Loops","created":"2022-04-14","cited_by_count":9,"area":null},{"id":"2212.02781","title":"QEBVerif: Quantization Error Bound Verification of Neural Networks","created":"2022-12-06","cited_by_count":9,"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":"2108.07961","title":"Verifying Low-dimensional Input Neural Networks via Input Quantization","created":"2021-08-18","cited_by_count":7,"area":null},{"id":"2209.13975","title":"Toward Certification of Machine-Learning Systems for Low Criticality Airborne Applications","created":"2022-09-28","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":"2307.06299","title":"Towards a Certified Proof Checker for Deep Neural Network Verification","created":"2023-07-12","cited_by_count":6,"area":null},{"id":"2403.07956","title":"DeepCDCL: An CDCL-based Neural Network Verification Framework","created":"2024-03-12","cited_by_count":6,"area":null},{"id":"2108.00893","title":"Static analysis of ReLU neural networks with tropical polyhedra","created":"2021-07-30","cited_by_count":5,"area":null},{"id":"2202.03360","title":"Discrete-Event Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components","created":"2022-02-07","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":"2107.11445","title":"Self-Correcting Neural Networks For Safe Classification","created":"2021-07-23","cited_by_count":4,"area":null},{"id":"2305.03365","title":"Repairing Deep Neural Networks Based on Behavior Imitation","created":"2023-05-05","cited_by_count":4,"area":null},{"id":"2405.13254","title":"System Safety Monitoring of Learned Components Using Temporal Metric Forecasting","created":"2024-05-21","cited_by_count":4,"area":null},{"id":"2511.08198","title":"Proof Minimization in Neural Network Verification","created":"2025-11-11","cited_by_count":4,"area":null},{"id":"2301.11342","title":"A Robust Optimisation Perspective on Counterexample-Guided Repair of Neural Networks","created":"2023-01-26","cited_by_count":3,"area":null},{"id":"2503.12083","title":"PICID: Proof-Driven Clause Learning in Neural Network Verification","created":"2025-03-15","cited_by_count":3,"area":null},{"id":"2105.02595","title":"Scaling up Memory-Efficient Formal Verification Tools for Tree Ensembles","created":"2021-05-06","cited_by_count":2,"area":null},{"id":"2106.05325","title":"ZoPE: A Fast Optimizer for ReLU Networks with Low-Dimensional Inputs","created":"2021-06-09","cited_by_count":2,"area":null},{"id":"2203.05704","title":"Deep Binary Reinforcement Learning for Scalable Verification","created":"2022-03-11","cited_by_count":2,"area":null},{"id":"2212.00855","title":"Reward Function Optimization of a Deep Reinforcement Learning Collision Avoidance System","created":"2022-12-01","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":"2404.03710","title":"Self-organized free-flight arrival for urban air mobility","created":"2024-04-04","cited_by_count":2,"area":"deeprl"},{"id":"2405.19805","title":"Complexity of Injectivity and Verification of ReLU Neural Networks","created":"2024-05-30","cited_by_count":2,"area":null},{"id":"2412.06684","title":"Exploring Critical Testing Scenarios for Decision-Making Policies: An LLM Approach","created":"2024-12-09","cited_by_count":2,"area":null},{"id":"2502.16286","title":"Verification of Bit-Flip Attacks against Quantized Neural Networks","created":"2025-02-22","cited_by_count":2,"area":null},{"id":"2504.17723","title":"Statistical Runtime Verification for LLMs via Robustness Estimation","created":"2025-04-24","cited_by_count":2,"area":null},{"id":"2101.11717","title":"Overestimation learning with guarantees","created":"2021-01-26","cited_by_count":1,"area":null},{"id":"2201.00063","title":"Croesus: Multi-Stage Processing and Transactions for Video-Analytics in Edge-Cloud Systems","created":"2021-12-31","cited_by_count":1,"area":null},{"id":"2202.02310","title":"EcoFlow: Efficient Convolutional Dataflows for Low-Power Neural Network Accelerators","created":"2022-02-04","cited_by_count":1,"area":null},{"id":"2301.12001","title":"Vertex-based reachability analysis for verifying ReLU deep neural networks","created":"2023-01-27","cited_by_count":1,"area":null},{"id":"2401.01458","title":"Concurrent Self-testing of Neural Networks Using Uncertainty Fingerprint","created":"2024-01-02","cited_by_count":1,"area":null},{"id":"2406.10154","title":"Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks","created":"2024-06-14","cited_by_count":1,"area":null},{"id":"2410.24214","title":"ARQ: A Mixed-Precision Quantization Framework for Accurate and Certifiably Robust DNNs","created":"2024-10-31","cited_by_count":1,"area":null},{"id":"2412.13229","title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency","created":"2024-12-17","cited_by_count":1,"area":null},{"id":"2601.22118","title":"Defining Operational Conditions for Safety-Critical AI-Based Systems from Data","created":"2026-01-29","cited_by_count":1,"area":null},{"id":"2603.14818","title":"SimCert: Probabilistic Certification for Behavioral Similarity in Deep Neural Network Compression","created":"2026-03-16","cited_by_count":1,"area":null},{"id":"2604.02198","title":"From High-Dimensional Spaces to Verifiable ODD Coverage for Safety-Critical AI-based Systems","created":"2026-04-02","cited_by_count":1,"area":null},{"id":"2203.10823","title":"Long Short-Term Memory for Spatial Encoding in Multi-Agent Path Planning","created":"2022-03-21","cited_by_count":0,"area":null},{"id":"2311.08943","title":"Safety, Trust, and Ethics Considerations for Human-AI Teaming in Aerospace Control","created":"2023-11-15","cited_by_count":0,"area":null},{"id":"2311.10780","title":"Extending Neural Network Verification to a Larger Family of Piece-wise Linear Activation Functions","created":"2023-11-16","cited_by_count":0,"area":null},{"id":"2510.20916","title":"Aircraft Collision Avoidance Systems: Technological Challenges and Solutions on the Path to Regulatory Acceptance","created":"2025-10-23","cited_by_count":0,"area":null},{"id":"2606.02134","title":"Rethinking Evaluation Paradigms in IBP-based Certified Training","created":"2026-06-01","cited_by_count":0,"area":null},{"id":"2608.20053","title":"On the Applicability of Safety Nets: A Safety-By-Design Solution for Certifying Neural Networks","created":"2026-08-20","cited_by_count":0,"area":null},{"id":"2608.20864","title":"Coverage-Driven Verification for Safety-by-Design in AI-Based Collision Avoidance Systems","created":"2026-08-21","cited_by_count":0,"area":null}],"next_cursor":null}