{"total":33,"rows":[{"id":"2110.01167","title":"Trustworthy AI: From Principles to Practices","created":"2021-10-04","cited_by_count":207,"area":null},{"id":"2305.11391","title":"A Survey of Safety and Trustworthiness of Large Language Models through the Lens of Verification and Validation","created":"2023-05-19","cited_by_count":93,"area":null},{"id":"2105.01984","title":"Software Engineering for AI-Based Systems: A Survey","created":"2021-05-05","cited_by_count":69,"area":null},{"id":"2211.00541","title":"Logic-Based Explainability in Machine Learning","created":"2022-10-24","cited_by_count":48,"area":null},{"id":"2103.01931","title":"Categorical Foundations of Gradient-Based Learning","created":"2021-03-02","cited_by_count":44,"area":null},{"id":"2308.11894","title":"Does Physical Adversarial Example Really Matter to Autonomous Driving? Towards System-Level Effect of Adversarial Object Evasion Attack","created":"2023-08-23","cited_by_count":37,"area":null},{"id":"2212.14020","title":"A System-Level View on Out-of-Distribution Data in Robotics","created":"2022-12-28","cited_by_count":33,"area":null},{"id":"2106.04823","title":"Taxonomy of Machine Learning Safety: A Survey and Primer","created":"2021-06-09","cited_by_count":25,"area":null},{"id":"2306.03048","title":"From Robustness to Explainability and Back Again","created":"2023-06-05","cited_by_count":14,"area":null},{"id":"2208.14426","title":"Correct-by-Construction Runtime Enforcement in AI -- A Survey","created":"2022-08-30","cited_by_count":12,"area":null},{"id":"2306.01744","title":"Disproving XAI Myths with Formal Methods -- Initial Results","created":"2023-05-13","cited_by_count":12,"area":null},{"id":"2202.03930","title":"If a Human Can See It, So Should Your System: Reliability Requirements for Machine Vision Components","created":"2022-02-08","cited_by_count":11,"area":null},{"id":"2102.08460","title":"A Review of Testing Object-Based Environment Perception for Safe Automated Driving","created":"2021-02-16","cited_by_count":9,"area":null},{"id":"2310.04467","title":"Design Principles for Lifelong Learning AI Accelerators","created":"2023-10-05","cited_by_count":9,"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":"2211.17096","title":"PAC Verification of Statistical Algorithms","created":"2022-11-28","cited_by_count":8,"area":null},{"id":"2104.14435","title":"Customizable Reference Runtime Monitoring of Neural Networks using Resolution Boxes","created":"2021-04-25","cited_by_count":6,"area":null},{"id":"2205.10906","title":"Monitoring of Perception Systems: Deterministic, Probabilistic, and Learning-based Fault Detection and Identification","created":"2022-05-22","cited_by_count":6,"area":null},{"id":"2307.11784","title":"What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety Critical Systems","created":"2023-07-20","cited_by_count":6,"area":null},{"id":"2109.08078","title":"Weighted Graph-Based Signal Temporal Logic Inference Using Neural Networks","created":"2021-09-16","cited_by_count":5,"area":null},{"id":"2511.22498","title":"Space Explanations of Neural Network Classification","created":"2025-11-27","cited_by_count":5,"area":null},{"id":"2312.16364","title":"Robustness Verification for Knowledge-Based Logic of Risky Driving Scenes","created":"2023-12-27","cited_by_count":3,"area":null},{"id":"2404.00408","title":"Deep Learning with Parametric Lenses","created":"2024-03-30","cited_by_count":3,"area":null},{"id":"2201.01323","title":"Test and Evaluation of Quadrupedal Walking Gaits through Sim2Real Gap Quantification","created":"2022-01-04","cited_by_count":2,"area":null},{"id":"2204.12402","title":"Understanding the Impact of Edge Cases from Occluded Pedestrians for ML Systems","created":"2022-04-26","cited_by_count":1,"area":null},{"id":"2305.17941","title":"Safety of autonomous vehicles: A survey on Model-based vs. AI-based approaches","created":"2023-05-29","cited_by_count":1,"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":"2606.28639","title":"Algorithmic Unverifiability of Safety for Fixed and Recursively Self-Improving Systems","created":"2026-06-26","cited_by_count":1,"area":null},{"id":"2111.02001","title":"Certifiable Artificial Intelligence Through Data Fusion","created":"2021-11-03","cited_by_count":0,"area":null},{"id":"2201.10436","title":"Safe AI -- How is this Possible?","created":"2022-01-25","cited_by_count":0,"area":null},{"id":"2205.01419","title":"An Empirical Analysis of the Use of Real-Time Reachability for the Safety Assurance of Autonomous Vehicles","created":"2022-05-03","cited_by_count":0,"area":null},{"id":"2402.04892","title":"Probabilistic ML Verification via Weighted Model Integration","created":"2024-02-07","cited_by_count":0,"area":null},{"id":"2609.14099","title":"Neuron Activation-based Computation of Logical Explanations for Deep Neural Networks","created":"2026-09-12","cited_by_count":0,"area":null}],"next_cursor":null}