{"total":16,"rows":[{"id":"2107.12045","title":"How to Certify Machine Learning Based Safety-critical Systems? A Systematic Literature Review","created":"2021-07-26","cited_by_count":39,"area":null},{"id":"2212.01051","title":"VeriX: Towards Verified Explainability of Deep Neural Networks","created":"2022-12-02","cited_by_count":30,"area":null},{"id":"2105.07091","title":"Verification of Image-based Neural Network Controllers Using Generative Models","created":"2021-05-14","cited_by_count":27,"area":null},{"id":"2203.11201","title":"Efficient Neural Network Analysis with Sum-of-Infeasibilities","created":"2022-03-19","cited_by_count":24,"area":null},{"id":"2506.08505","title":"Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations","created":"2025-06-10","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":"2209.09674","title":"Testing Rare Downstream Safety Violations via Upstream Adaptive Sampling of Perception Error Models","created":"2022-09-20","cited_by_count":7,"area":null},{"id":"2205.10677","title":"Risk-Driven Design of Perception Systems","created":"2022-05-21","cited_by_count":4,"area":null},{"id":"2409.03060","title":"Efficiently Computing Compact Formal Explanations","created":"2024-09-04","cited_by_count":4,"area":null},{"id":"2208.03407","title":"An Overview of Structural Coverage Metrics for Testing Neural Networks","created":"2022-08-05","cited_by_count":3,"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":"2211.12470","title":"A Deep Reinforcement Learning Approach to Rare Event Estimation","created":"2022-11-22","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":"2501.14009","title":"Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles","created":"2025-01-23","cited_by_count":2,"area":null},{"id":"2505.05665","title":"Characterizing the Robustness of Black-Box LLM Planners Under Perturbed Observations with Adaptive Stress Testing","created":"2025-05-08","cited_by_count":1,"area":null},{"id":"2604.14209","title":"Towards Verified and Targeted Explanations through Formal Methods","created":"2026-04-05","cited_by_count":0,"area":null}],"next_cursor":null}