{"total":28,"rows":[{"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":"2106.04823","title":"Taxonomy of Machine Learning Safety: A Survey and Primer","created":"2021-06-09","cited_by_count":25,"area":null},{"id":"2203.05314","title":"SoK: On the Semantic AI Security in Autonomous Driving","created":"2022-03-10","cited_by_count":22,"area":null},{"id":"2103.07403","title":"Generating and Characterizing Scenarios for Safety Testing of Autonomous Vehicles","created":"2021-03-12","cited_by_count":21,"area":null},{"id":"2110.01232","title":"Benchmarking Safety Monitors for Image Classifiers with Machine Learning","created":"2021-10-04","cited_by_count":14,"area":null},{"id":"2110.08664","title":"Finding Critical Scenarios for Automated Driving Systems: A Systematic Literature Review","created":"2021-10-16","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":"2110.10729","title":"Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation with Probabilistic Guarantees","created":"2021-10-20","cited_by_count":6,"area":null},{"id":"2104.10219","title":"Scalable Synthesis of Verified Controllers in Deep Reinforcement Learning","created":"2021-04-20","cited_by_count":5,"area":null},{"id":"2206.14372","title":"Formalizing and Evaluating Requirements of Perception Systems for Automated Vehicles using Spatio-Temporal Perception Logic","created":"2022-06-29","cited_by_count":5,"area":null},{"id":"2205.10677","title":"Risk-Driven Design of Perception Systems","created":"2022-05-21","cited_by_count":4,"area":null},{"id":"2512.14367","title":"A Comprehensive Safety Metric to Evaluate Perception in Autonomous Systems","created":"2025-12-16","cited_by_count":4,"area":null},{"id":"2109.14041","title":"Local Repair of Neural Networks Using Optimization","created":"2021-09-28","cited_by_count":3,"area":null},{"id":"2303.05394","title":"A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems","created":"2023-03-07","cited_by_count":3,"area":null},{"id":"2412.06869","title":"Safety Monitoring of Machine Learning Perception Functions: a Survey","created":"2024-12-09","cited_by_count":3,"area":null},{"id":"2504.13478","title":"Safety Monitoring for Learning-Enabled Cyber-Physical Systems in Out-of-Distribution Scenarios","created":"2025-04-18","cited_by_count":3,"area":null},{"id":"2511.02164","title":"ScenicProver: A Framework for Compositional Probabilistic Verification of Learning-Enabled Systems","created":"2025-11-04","cited_by_count":2,"area":null},{"id":"2312.09559","title":"STEAM & MoSAFE: SOTIF Error-and-Failure Model & Analysis for AI-Enabled Driving Automation","created":"2023-12-15","cited_by_count":1,"area":null},{"id":"2603.12183","title":"Proof-Carrying Materials: Falsifiable Safety Certificates for Machine-Learned Interatomic Potentials","created":"2026-03-12","cited_by_count":1,"area":null},{"id":"2608.06481","title":"Safe and Robust Neural Policy Learning with Statistical Verification for Sim-to-Real Deployment in Robotics","created":"2026-08-06","cited_by_count":1,"area":null},{"id":"2110.02125","title":"Adversarial Robustness Verification and Attack Synthesis in Stochastic Systems","created":"2021-10-05","cited_by_count":0,"area":null},{"id":"2301.01594","title":"Finding Needles in Haystack: Formal Generative Models for Efficient Massive Parallel Simulations","created":"2023-01-03","cited_by_count":0,"area":null},{"id":"2307.15456","title":"Worrisome Properties of Neural Network Controllers and Their Symbolic Representations","created":"2023-07-28","cited_by_count":0,"area":null},{"id":"2310.06228","title":"Evolution of Natural Language Processing Technology: Not Just Language Processing Towards General Purpose AI","created":"2023-10-10","cited_by_count":0,"area":null},{"id":"2506.05171","title":"Towards provable probabilistic safety for scalable embodied AI systems","created":"2025-06-05","cited_by_count":0,"area":null},{"id":"2603.25531","title":"Synchronous Signal Temporal Logic for Decidable Verification of Cyber-Physical Systems","created":"2026-03-26","cited_by_count":0,"area":null},{"id":"2609.27296","title":"Teach-to-Crash: A Closed-Loop Student-Teacher LLM Framework for Collision-Inducing Test Scenario Generation","created":"2026-09-23","cited_by_count":0,"area":null},{"id":"2610.05571","title":"Scenario-Based Compositional Statistical Model Checking for Safety Specifications","created":"2026-10-04","cited_by_count":0,"area":null}],"next_cursor":null}