{"total":15,"rows":[{"id":"2102.09479","title":"Make Sure You're Unsure: A Framework for Verifying Probabilistic Specifications","created":"2021-02-18","cited_by_count":18,"area":null},{"id":"2110.01388","title":"Neural Network Verification in Control","created":"2021-09-30","cited_by_count":14,"area":null},{"id":"2308.14815","title":"Distributionally Robust Statistical Verification with Imprecise Neural Networks","created":"2023-08-28","cited_by_count":12,"area":null},{"id":"2212.01544","title":"Probabilistic Verification of ReLU Neural Networks via Characteristic Functions","created":"2022-12-03","cited_by_count":5,"area":null},{"id":"2111.10832","title":"Automated Controller Calibration by Kalman Filtering","created":"2021-11-21","cited_by_count":3,"area":null},{"id":"2307.13885","title":"Characterizing Data Point Vulnerability via Average-Case Robustness","created":"2023-07-26","cited_by_count":3,"area":null},{"id":"2404.08285","title":"A Survey of Neural Network Robustness Assessment in Image Recognition","created":"2024-04-12","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":"2208.07464","title":"An Overview and Prospective Outlook on Robust Training and Certification of Machine Learning Models","created":"2022-08-15","cited_by_count":1,"area":null},{"id":"2211.09810","title":"Tightening Robustness Verification of MaxPool-based Neural Networks via Minimizing the Over-Approximation Zone","created":"2022-11-13","cited_by_count":1,"area":null},{"id":"2504.08414","title":"Adversarial Examples in Environment Perception for Automated Driving (Review)","created":"2025-04-11","cited_by_count":1,"area":null},{"id":"2103.12141","title":"Performance Bounds for Neural Network Estimators: Applications in Fault Detection","created":"2021-03-22","cited_by_count":0,"area":null},{"id":"2509.17413","title":"Distributionally Robust Safety Verification of Neural Networks via Worst-Case CVaR","created":"2025-09-22","cited_by_count":0,"area":null},{"id":"2509.25647","title":"BaB-prob: Branch and Bound with Preactivation Splitting for Probabilistic Verification of Neural Networks","created":"2025-09-30","cited_by_count":0,"area":null},{"id":"2603.05677","title":"Scalable Digital Compute-in-Memory Ising Machines for Robustness Verification of Binary Neural Networks","created":"2026-03-05","cited_by_count":0,"area":null}],"next_cursor":null}