{"total":19,"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":"2306.12688","title":"Towards quantum enhanced adversarial robustness in machine learning","created":"2023-06-22","cited_by_count":28,"area":null},{"id":"2206.00512","title":"Neural Network Verification with Proof Production","created":"2022-06-01","cited_by_count":22,"area":null},{"id":"2203.15841","title":"NNLander-VeriF: A Neural Network Formal Verification Framework for Vision-Based Autonomous Aircraft Landing","created":"2022-03-29","cited_by_count":19,"area":null},{"id":"2201.12243","title":"Joint Differentiable Optimization and Verification for Certified Reinforcement Learning","created":"2022-01-28","cited_by_count":11,"area":null},{"id":"2107.04164","title":"Parallel and Multi-Objective Falsification with Scenic and VerifAI","created":"2021-07-09","cited_by_count":8,"area":null},{"id":"2110.14870","title":"A Scenario-Based Platform for Testing Autonomous Vehicle Behavior Prediction Models in Simulation","created":"2021-10-28","cited_by_count":6,"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":"2108.13796","title":"Addressing the IEEE AV Test Challenge with Scenic and VerifAI","created":"2021-08-20","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":"2108.07307","title":"Synthesizing Pareto-Optimal Interpretations for Black-Box Models","created":"2021-08-16","cited_by_count":3,"area":null},{"id":"2504.20942","title":"Scenario-based Compositional Verification of Autonomous Systems with Neural Perception","created":"2025-04-29","cited_by_count":3,"area":null},{"id":"2506.17275","title":"Conformal Safety Shielding for Imperfect-Perception Agents","created":"2025-06-12","cited_by_count":3,"area":null},{"id":"2409.06856","title":"AssistTaxi: A Comprehensive Dataset for Taxiway Analysis and Autonomous Operations","created":"2024-09-10","cited_by_count":2,"area":null},{"id":"2601.20666","title":"Learning Contextual Runtime Monitors for Safe AI-Based Autonomy","created":"2026-01-28","cited_by_count":1,"area":null},{"id":"2411.14163","title":"Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report","created":"2024-11-21","cited_by_count":0,"area":null},{"id":"2508.15220","title":"Locally Pareto-Optimal Interpretations for Black-Box Machine Learning Models","created":"2025-08-21","cited_by_count":0,"area":null},{"id":"2604.20728","title":"Interval POMDP Shielding for Imperfect-Perception Agents","created":"2026-04-22","cited_by_count":0,"area":null},{"id":"2607.23134","title":"Diffusion-Guided Search via Exponential Tilting (DiffTilt): An Application to Falsification of Safety-Critical Systems","created":"2026-07-25","cited_by_count":0,"area":null}],"next_cursor":null}